Satisfiability and completeness of protocols for electronic negotiations.

Gregory E. Kersten Hsiangchu Lai

Published in: Eur. J. Oper. Res. (2007)

Keyphrases

satisfiability problem
np complete
decision procedures
computational complexity
propositional logic
data sets
phase transition
sat problem
communication protocols
data quality
conjunctive normal form
sat solving
quantified boolean formulas