Pages that link to "Item:Q5326461"
From MaRDI portal
The following pages link to Community-Based Partitioning for MaxSAT Solving (Q5326461):
Displaying 5 items.
- Generating SAT instances with community structure (Q309919) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Using Community Structure to Detect Relevant Learnt Clauses (Q3453229) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
