The Power of Choice for Random Satisfiability

Varsha Dani Josep Díaz Thomas P. Hayes Cristopher Moore

Published in: CoRR (2012)

Keyphrases

power consumption
satisfiability problem
real time
computational power
artificial intelligence
np complete
phase transition
propositional logic
database
random constraint satisfaction problems
databases
real world
case study
randomly generated
terminological reasoning