The following pages link to QMaxSAT (Q21549):
Displaying 24 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)
- On tackling the limits of resolution in SAT solving (Q1680253) (← 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)
- Improved WPM encoding for coalition structure generation under MC-nets (Q2331103) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Abstract cores in implicit hitting set MaxSat solving (Q2661355) (← 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)
- (Q2786911) (← links)
- Improvements to Core-Guided Binary Search for MaxSAT (Q2843334) (← links)
- Open-WBO: A Modular MaxSAT Solver, (Q3192090) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← 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)
