Pages that link to "Item:Q5713711"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5713711):
Displaying 8 items.
- MaxSAT by improved instance-specific algorithm configuration (Q274404) (← links)
- Clause weighting local search for SAT (Q862404) (← links)
- Boosting haplotype inference with local search (Q941674) (← links)
- SATenstein: automatically building local search SAT solvers from components (Q2634473) (← links)
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (Q3007692) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191587) (← links)
- Theory and Applications of Satisfiability Testing (Q5713707) (← links)
- Meta-heuristics and artificial intelligence (Q6602249) (← links)