Open AccessOn Continuous Local BDD-Based Search for Hybrid SAT Solving
Author(s) -
Anastasios Kyrillidis,
Moshe Y. Vardi,
Zhiwei Zhang
Publication year - 2021
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i5.16502
Subject(s) - maximum satisfiability problem , boolean satisfiability problem , binary decision diagram , conjunctive normal form , boolean function , computer science , benchmark (surveying) , cls upper limits , boolean expression , boolean algebra , theoretical computer science , boolean circuit , algorithm , medicine , geodesy , optometry , geography
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom