Efficient Local Search for DAG Scheduling
IEEE Transactions on Parallel and Distributed Systems
SAT Local Search Algorithms: Worst-Case Study
Journal of Automated Reasoning
A deterministic (2 - 2/(k+ 1))n algorithm for k-SAT based on local search
Theoretical Computer Science
UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |