On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.

Yijia Chen Jörg Flum

Published in: CSL (2010)

Keyphrases

optimization problems
optimal solution
problems involving
management system
distributed systems
database
computer vision
case study
expert systems
upper bound
peer to peer
building blocks
decision problems
closed form
theorem proving