Published in
Springer, Lecture Notes in Computer Science, p. 135-142, 2005
DOI: 10.1007/11499107_10
Links
Tools
Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution
Proceedings article published in 2005 by
Edward A. Hirsch,
Sergey I. Nikolenko 
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 