Pages that link to "Item:Q490437"
From MaRDI portal
The following pages link to Local search for Boolean satisfiability with configuration checking and subscore (Q490437):
Displaying 7 items.
- New local search methods for partial MaxSAT (Q329035) (← links)
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (Q502391) (← links)
- Improving configuration checking for satisfiable random \(k\)-SAT instances (Q513324) (← links)
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (Q1725596) (← links)
- Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119) (← links)
- Local Search For Satisfiability Modulo Integer Arithmetic Theories (Q6082229) (← links)
- Local Search for SMT on Linear Integer Arithmetic (Q6487338) (← links)
