Anuncio: Reducing the size of resolution proofs in linear time
Se ha publicado el artículo Reducing the size of resolution proofs in linear time en la revista International Journal on Software Tools for Technology Transfer (STTT).
Una versión del artículo puede leerse aquí
Los autores del artículo son Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham y Ofer Strichman. Los tres primeros trabajaban en IBM R&D Labs in Israel y el cuarto en Technion – Israel Institute of Technology.
El resumen del artículo es
Read More “Anuncio: Reducing the size of resolution proofs in linear time”