Partitioning SAT Instances for Distributed Solving (2010)
AUTHORS:
Hyvärinen Antti E. J.,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
LPAR 2010
SERIES:
Lecture Notes in Computer Science
VOLUME:
6397
PAGES:
372--386
@inproceedings{ HyvarinenJunttilaNiemela:LPAR10, author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", title = "Partitioning {SAT} Instances for Distributed Solving", series = "Lecture Notes in Computer Science", booktitle = "LPAR 2010", volume = "6397", flags = "copy", year = "2010", pages = "372--386" }