Open AccessTowards Bridging the Gap Between SAT and Max-SAT Refutations
Author(s) -
Py, Matthieu,
Mohamed Cherif,
Djamal Habet
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - bridging (networking) , computer science , maximum satisfiability problem , algorithm , boolean function , computer security