Publications

1 result for Omer Bar-Ilan

Reducing the size of resolution proofs in linear time
- - Omer Bar-Ilan
  - Oded Fuhrmann
  - et al.
- 2010
- International Journal on Software Tools for Technology Transfer