The following pages link to RC2 (Q51750):
Displaying 10 items.
- Understanding the power of Max-SAT resolution through up-resilience (Q2046032) (← links)
- Clause redundancy and preprocessing in maximum satisfiability (Q2104499) (← links)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- SAT-based rigorous explanations for decision lists (Q2118305) (← links)
- Assessing progress in SAT solvers through the Lens of incremental SAT (Q2118309) (← links)
- A proof builder for Max-SAT (Q2118341) (← links)
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (Q2211872) (← links)
- Abstract cores in implicit hitting set MaxSat solving (Q2661355) (← links)
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT (Q5015607) (← links)
