conftrace_

sat solver

78 papers

Explore in graph

Co-occurring keywords

combinatorial optimization (1039) boolean satisfiability (32) conflict-driven clause learning (13) sat solving (25) constraint satisfaction (294) constraint programming (95) pseudo-boolean solving (4) model counting (46) symmetry breaking (28) branching heuristic (9)

Papers

On Probabilistic Generalization of Backdoors in Boolean Satisfiability AAAI 2022
QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022
Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022
On Computing Probabilistic Explanations for Decision Trees NIPS 2022
Optimising Automatic Calibration of Electric Muscle Stimulation AAAI 2021
Learning Branching Heuristics for Propositional Model Counting AAAI 2021
On Explaining Random Forests with SAT IJCAI 2021
Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021
OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots AAAI 2021
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions IJCAI 2021
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract) IJCAI 2021
On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021
Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021
Assessing SATNet's Ability to Solve the Symbol Grounding Problem NIPS 2020
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020
A Cardinal Improvement to Pseudo-Boolean Solving AAAI 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
Efficient Exact Verification of Binarized Neural Networks NIPS 2020
Constructing Minimal Perfect Hash Functions Using SAT Technology AAAI 2020
Deciding Acceptance in Incomplete Argumentation Frameworks AAAI 2020
Online Bayesian Moment Matching based SAT Solver Heuristics ICML 2020
Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020