A Distribution Method for Solving SAT in Grids (2006)
AUTHORS:
Hyvärinen Antti E. J.,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
SAT 2006
SERIES:
Lecture Notes in Computer Science
VOLUME:
4121
PAGES:
430--435
URL:
http://dx.doi.org/10.1007/11814948_39
@inproceedings{ HyvarinenJunttilaNiemela:SAT2006, editor = "Biere, Armin and Gomes, Carla P.", author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", title = "A Distribution Method for Solving {SAT} in Grids", url = "http://dx.doi.org/10.1007/11814948_39", series = "Lecture Notes in Computer Science", booktitle = "SAT 2006", volume = "4121", flags = "ACPT", year = "2006", pages = "430--435" }