Simulating Cutting Planes proofs with restricted degree of falsity by Resolution

E.A. Hirsch, S.I. Nikolenko

Proceedings of SAT'05 · pp. 135–142 · Springer · 2005

@inproceedings{hirsch2005_608,
  author = {Hirsch, Edward A. and Nikolenko, Sergey I.},
  title = {{Simulating Cutting Planes proofs with restricted degree of falsity by Resolution}},
  year = {2005},
  booktitle = {Proceedings of SAT'05},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  pages = {135--142},
  doi = {10.1007/11499107_10},
  url = {https://doi.org/10.1007/11499107_10}
}