Browsing University of Waterloo by Subject "Branching heuristic"
Now showing items 1-1 of 1
-
Machine Learning for SAT Solvers
(University of Waterloo, 2018-12-07)Boolean SAT solvers are indispensable tools in a variety of domains in computer science and engineering where efficient search is required. Not only does this relieve the burden on the users of implementing their own search ...