Ganesh, Vijay, University of Waterloo, Canada
-
Thirtieth AAAI Conference on Artificial Intelligence - Technical Papers: Search and Constraint Satisfaction
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
Abstract PDF -
Thirty-Second AAAI Conference on Artificial Intelligence - AAAI18 - Search and Constraint Satisfaction
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order
Abstract PDF