Pages that link to "Item:Q4930588"
From MaRDI portal
The following pages link to Improving Unsatisfiability-Based Algorithms for Boolean Optimization (Q4930588):
Displaying 8 items.
- An overview of parallel SAT solving (Q487635) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- Dynamic symmetry-breaking for Boolean satisfiability (Q976993) (← links)
- Satisfiability-based algorithms for Boolean optimization (Q1430296) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- (Q4804883) (← links)
- (Q4809068) (← links)
- Theory and Applications of Satisfiability Testing (Q5713742) (← links)