„MaxSAT“
Suchergebnisse
1.000+ Treffer
-
SAT and Interactions (Dagstuhl Seminar 20061)
-
Deep Cooperation of Local Search and Unit Propagation Techniques
-
PACE Solver Description: Minimum Hitting Set Computation via Core-Guided MaxSAT Solving
-
noSAT-MaxSATv3
-
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
-
noSAT-MaxSATv2
-
Satisfiability and Optimization in Periodic Traffic Flow Problems
-
PACE Solver Description: Crossy - An Exact Solver for One-Sided Crossing Minimization
-
Handbook of Parallel Constraint Reasoning
-
Analyzing Reformulation Performance in Core-Guided MaxSAT Solving
-
Redundancy Rules for MaxSAT
-
An Algebraic Approach to MaxCSP
-
SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
-
DPSLS: an efficient local search algorithm for pure MaxSAT
-
Decoding quantum color codes with MaxSAT
-
Structure-Guided Local Improvement for Maximum Satisfiability
-
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
-
Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme
-
MaxSAT Resolution with Inclusion Redundancy
-
MaxSAT-Based Bi-Objective Boolean Optimization