The following pages link to (Q3604003):
Displaying 12 items.
- Improving configuration checking for satisfiable random \(k\)-SAT instances (Q513324) (← links)
- Combining the scalability of local search with the pruning techniques of systematic search (Q1854753) (← links)
- SATenstein: automatically building local search SAT solvers from components (Q2634473) (← links)
- Auto-Walksat: A self-tuning implementation of Walksat (Q2741537) (← links)
- Scoring functions based on second level score for \(k\)-SAT with long clauses (Q2929584) (← links)
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (Q3007692) (← links)
- Adaptive Constraint Satisfaction: The Quickest First Principle (Q3401730) (← links)
- (Q4352745) (← links)
- (Q4738481) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464698) (← links)
- Theory and Applications of Satisfiability Testing (Q5713707) (← links)
- Theory and Applications of Satisfiability Testing (Q5713711) (← links)