Youichi Hanatani, Takashi Horiyama, Kazuo Iwama
Density Condensation of Boolean Formulas
ICST, 2003.
@inproceedings{SAT-2003-HanataniHI, author = "Youichi Hanatani and Takashi Horiyama and Kazuo Iwama", booktitle = "{Selected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/978-3-540-24605-3_6", isbn = "3-540-20851-8", pages = "69--77", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Density Condensation of Boolean Formulas}", volume = 2919, year = 2003, }