Our paper, titled “SAT-to-SAT: Declarative Extension of SAT Solvers with New Reasoning Mechanisms” is now accepted in AAAI 2016 which will be held in Phoenix, AZ, USA.
Personal Homepage
Our paper, titled “SAT-to-SAT: Declarative Extension of SAT Solvers with New Reasoning Mechanisms” is now accepted in AAAI 2016 which will be held in Phoenix, AZ, USA.