Pages that link to "Item:Q3612460"
From MaRDI portal
The following pages link to Variable Dependency in Local Search: Prevention Is Better Than Cure (Q3612460):
Displaying 4 items.
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (Q3502710) (← links)
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (Q3502713) (← links)