Smallest Equivalent Sets for Finite Propositional Formula Circumscription.

Yves Moinard Raymond Rolland

Published in: Computational Logic (2000)

Keyphrases

propositional formulas
propositional logic
normal form
logic programming
propositional satisfiability
logic programs
propositional variables
pseudo boolean constraints
search algorithm
special case
constraint programming