MaxSAT
PulseAugur coverage of MaxSAT — every cluster mentioning MaxSAT across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New logic framework aids autonomous systems in norm-guided decision-making
Researchers have developed a new doxastic deontic logic designed to help autonomous systems make decisions when faced with conflicting norms and uncertain information. This logic, a simplified version of Chellas' Minima…
-
New research compares automated planning strategies for execution flexibility
A new research paper explores strategies for enhancing the flexibility of automated planning systems by modifying sequential plans into partial-order plans. The study compares deordering and reordering techniques, findi…
-
CPMpy library translates constraint models across solvers
Researchers have developed CPMpy, an open-source library designed to translate high-level constraint satisfaction and optimization models into various lower-level formalisms. This framework allows users to express probl…
-
LLMs used to build MaxSAT solver from research papers
Researchers explored the use of large language models (LLMs) to construct a MaxSAT solver, named CoreForge, by interpreting research papers rather than relying on existing codebases. The iterative process involved discu…
-
New neuro-symbolic method enhances VLM reasoning for Sudoku
Researchers have developed a novel neuro-symbolic approach to improve the logical consistency of Vision-Language Models (VLMs) when solving grid-based puzzles like Sudoku. This method integrates a Maximum Satisfiability…
-
ZeroFolio uses text embeddings for algorithm selection without domain knowledge
Researchers have developed a novel feature-free approach to algorithm selection called ZeroFolio, which utilizes pretrained text embeddings to distinguish problem instances without requiring domain-specific knowledge. T…
-
New CP method optimizes counterfactual explanations for tree ensembles
Researchers have developed a new constraint programming (CP) formulation called CPCF for computing optimal counterfactual explanations in tree ensembles. This method encodes numerical features as interval domains and di…
-
New solver unifies diverse optimization problems via MaxSAT reduction
Researchers have developed a new method called OP-to-MaxSAT reduction to create a general optimization solver named GORED. This approach unifies the solving of various optimization problems by converting them into MaxSA…