Login / Signup
Quantifier elimination via clause redundancy.
Eugene Goldberg
Panagiotis Manolios
Published in:
FMCAD (2013)
Keyphrases
</>
quantifier elimination
constraint propagation
functional programming
first order logic
presburger arithmetic
constraint databases
cardinality constraints
theorem prover
search space
knowledge representation
logic programs
constraint satisfaction problems
expressive power
transitive closure