Sign in

A Gentle Non-disjoint Combination of Satisfiability Procedures.

Paula Daniela ChocronPascal FontaineChristophe Ringeissen
Published in: IJCAR (2014)
Keyphrases
  • pairwise
  • np complete
  • satisfiability problem
  • propositional logic
  • phase transition
  • combining multiple
  • learning algorithm
  • case study
  • belief revision