Satisfiability thresholds beyond k-XORSAT

Andreas Goerdt Lutz Falke

Published in: CoRR (2011)

Keyphrases

satisfiability problem
propositional logic
computational complexity
np complete
phase transition
decision procedures
terminological reasoning
neural network
computational properties
adaptive threshold
database
np hard
special case
decision trees
data sets
reasoning problems
satisfiability testing