Pages that link to "Item:Q3007692"
From MaRDI portal
The following pages link to Captain Jack: New Variable Selection Heuristics in Local Search for SAT (Q3007692):
Displaying 5 items.
- Local search for Boolean satisfiability with configuration checking and subscore (Q490437) (← links)
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- Automatic construction of parallel portfolios via algorithm configuration (Q511786) (← links)
- SATenstein: automatically building local search SAT solvers from components (Q2634473) (← links)
- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (Q3453227) (← links)
