The following pages link to QMaxSAT: A partial Max-SAT solver (Q2786911):
Displaying 25 items.
- MaxSAT by improved instance-specific algorithm configuration (Q274404) (← links)
- New local search methods for partial MaxSAT (Q329035) (← links)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- A constraint optimization approach to causal discovery from subsampled time series data (Q1678425) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (Q2009185) (← links)
- Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119) (← links)
- A novel algorithm for Max Sat calling MOCE to order (Q2149880) (← links)
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (Q2211872) (← links)
- On preprocessing for weighted MaxSAT (Q2234104) (← links)
- Improved WPM encoding for coalition structure generation under MC-nets (Q2331103) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- CHAMP: a multipass algorithm for Max Sat based on saver variables (Q2688471) (← links)
- Go-MOCE: greedy order method of conditional expectations for Max Sat (Q2691199) (← links)
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Query-guided maximum satisfiability (Q2828249) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving (Q5015594) (← links)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
- RC2: an Efficient MaxSAT Solver (Q5015603) (← links)
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT (Q5015607) (← links)
- Boosting branch-and-bound MaxSAT solvers with clause learning (Q5106262) (← links)
- Resizing cardinality constraints for MaxSAT (Q5145443) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
