A New Approach on Solving 3-Satisfiability.

Published in: AISMC (1996)

Keyphrases

computational complexity
satisfiability problem
phase transition
propositional logic
solving problems
real time
special case
state space
decision procedures
search heuristics