The following pages link to Adrian Balint (Q502387):
Displayed 5 items.
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (Q2843318) (← links)
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (Q3007692) (← links)
- Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (Q3192078) (← links)
- Improving Stochastic Local Search for SAT with a New Probability Distribution (Q4930575) (← links)