Kazuo Iwama, Shuichi Miyazaki. SAT-Varible Complexity of Hard Combinatorial Problems. In IFIP Congress (1). pages 253-258, 1994.
@inproceedings{IwamaM94,
title = {SAT-Varible Complexity of Hard Combinatorial Problems},
author = {Kazuo Iwama and Shuichi Miyazaki},
year = {1994},
researchr = {https://researchr.org/publication/IwamaM94},
cites = {0},
citedby = {0},
pages = {253-258},
booktitle = {IFIP Congress (1)},
}