Solving Incremental Satisfiability.

Malek Mouhoub Samira Sadaoui

Published in: Int. J. Artif. Intell. Tools (2007)

Keyphrases

data driven
satisfiability problem
sat encodings
davis putnam logemann loveland
data sets
information systems
propositional logic
sat solving