@inproceedings{600545a021924476a2b3c6e8da5f5675,
title = "Finding graph decompositions via SAT",
keywords = "Block designs, Boolean sat, Cnf encoding, Combinatorics, Graph decomposition, Satisfiability, Symmetry breaking",
author = "Wenting Zhao and Mark Liffiton and Peter Jeavons and Dan Roberts",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017 ; Conference date: 06-11-2017 Through 08-11-2017",
year = "2017",
month = jul,
day = "2",
doi = "10.1109/ICTAI.2017.00031",
language = "English",
series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",
publisher = "IEEE Computer Society",
pages = "131--138",
booktitle = "Proceedings - 2017 International Conference on Tools with Artificial Intelligence, ICTAI 2017",
}