Youichi Hanatani, Takashi Horiyama, Kazuo Iwama. Density Condensation of Boolean Formulas. In Enrico Giunchiglia, Armando Tacchella, editors, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Volume 2919 of Lecture Notes in Computer Science, pages 69-77, Springer, 2003. [doi]
@inproceedings{HanataniHI03,
title = {Density Condensation of Boolean Formulas},
author = {Youichi Hanatani and Takashi Horiyama and Kazuo Iwama},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2919&spage=69},
researchr = {https://researchr.org/publication/HanataniHI03},
cites = {0},
citedby = {0},
pages = {69-77},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers},
editor = {Enrico Giunchiglia and Armando Tacchella},
volume = {2919},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20851-8},
}