Zoltán Ádám Mann, Pál András Papp. Guiding SAT Solving by Formula Partitioning. International Journal on Artificial Intelligence Tools, 26(4):1-37, 2017. [doi]
@article{MannP17, title = {Guiding SAT Solving by Formula Partitioning}, author = {Zoltán Ádám Mann and Pál András Papp}, year = {2017}, doi = {10.1142/S0218213017500117}, url = {https://doi.org/10.1142/S0218213017500117}, researchr = {https://researchr.org/publication/MannP17}, cites = {0}, citedby = {0}, journal = {International Journal on Artificial Intelligence Tools}, volume = {26}, number = {4}, pages = {1-37}, }