Combining Logic and Optimization in Cutting Plane Theory

Authors:
Alexander Bockmayr;Friedrich Eisenbrand
Affiliations:
-;-
Venue:
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Year:
2000

On Determining the Minimum Length, Tree-Like Resolution Refutation of 2SAT, and Extended 2SAT Formulas

ASIAN '02 Proceedings of the7th Asian Computing Science Conference on Advances in Computing Science: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster
Optimal length tree-like resolution refutations for 2SAT formulas

ACM Transactions on Computational Logic (TOCL)
Optimal Length Resolution Refutations of Difference Constraint Systems

Journal of Automated Reasoning

Hi-index	0.00