Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting.

Anne-Cécile Caron Franck Seynhaeve Sophie Tison Marc Tommasi

Published in: RTA (1999)

Keyphrases

quantifier free
quantifier elimination
first order logic
database
rewrite systems
np complete
phase transition
satisfiability problem
propositional logic