Login / Signup
Equation Satisfiability and Program Satisfiability for Finite Monoids.
David A. Mix Barrington
Pierre McKenzie
Cristopher Moore
Pascal Tesson
Denis Thérien
Published in:
MFCS (2000)
Keyphrases
</>
satisfiability problem
computational complexity
np complete
phase transition
satisfiability testing
search algorithm
propositional logic
sat problem
terminological reasoning
quantified boolean formulas
neural network
test cases
randomly generated
cnf formula