The following pages link to Generalizing Core-Guided Max-SAT (Q3637181):
Displaying 8 items.
- Fast, flexible MUS enumeration (Q272009) (← links)
- Guiding high-performance SAT solvers with unsat-core predictions (Q2181943) (← links)
- Core-boosted linear search for incomplete MaxSAT (Q2327238) (← links)
- Go-MOCE: greedy order method of conditional expectations for Max Sat (Q2691199) (← links)
- Query-guided maximum satisfiability (Q2828249) (← links)
- On Improving MUS Extraction Algorithms (Q3007681) (← links)
- A New Approach to Partial MUS Enumeration (Q3453242) (← links)
- A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets (Q5212558) (← links)
