Sergey Nikolenko
← All publications

Simulating Cutting Planes proofs with restricted degree of falsity by Resolution

Conference paper

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

DOIECCC TR05-006SpringerPermalink
BibTeX
@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}
}