The following pages link to (Q3639755):
Displaying 9 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- A greedy randomized adaptive search procedure (GRASP) for inferring logical clauses from examples in polynomial time and some extensions (Q969776) (← links)
- On the effect of learned clauses on stochastic local search (Q2661337) (← links)
- HordeSat: A Massively Parallel Portfolio SAT Solver (Q3453220) (← links)
- Search-Space Partitioning for Parallelizing SMT Solvers (Q3453241) (← links)
- The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study (Q3527696) (← links)
- Incorporating Learning in Grid-Based Randomized SAT Solving (Q3534664) (← links)
- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)