Login / Signup
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.
Alessandro Armando
Maria Paola Bonacina
Silvio Ranise
Stephan Schulz
Published in:
FroCoS (2005)
Keyphrases
</>
computational models
propositional logic
neural network
presburger arithmetic
theoretical framework
satisfiability problem
propositional theories
data sets
search algorithm
search space
first order logic
phase transition
real estate