A Gentle Non-disjoint Combination of Satisfiability Procedures.

Paula Daniela Chocron Pascal Fontaine Christophe Ringeissen

Published in: IJCAR (2014)

Keyphrases

pairwise
np complete
satisfiability problem
propositional logic
phase transition
combining multiple
learning algorithm
case study
belief revision