Two-Prover One-Round Proof Systems: Their Power and Their Problems (Extended Abstract)
Uriel FeigeLászló LovászPublished in: STOC (1992)
Keyphrases
- extended abstract
- theorem proving
- statistical machine learning
- management system
- electric power systems
- maintenance activities
- theorem prover
- decision problems
- power consumption
- complex systems
- constraint satisfaction problems
- np complete
- logic programming
- knowledge based systems
- problems involving
- specific problems
- technical issues
- natural deduction
- logic programs
- optimization problems
- database