Sign in

A Physical Model for the Satisfiability Problem.

Wenqui HuangWei LiWeifeng LuYuping Zhang
Published in: COCOON (1995)
Keyphrases
  • probabilistic model
  • satisfiability problem
  • temporal logic
  • computational properties