TitleHybrid Incremental Algorithms for Boolean Satisfiability
Publication TypeJournal Article
Year of Publication2012
AuthorsLetombe F., Marques-Silva J
JournalInternational Journal on Artificial Intelligence Tools
Volume21
Date Published2012