Markus Iser, Tomás Balyo, Carsten Sinz. Memory Efficient Parallel SAT Solving with Inprocessing. In 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. pages 64-70, IEEE, 2019. [doi]
@inproceedings{IserBS19,
title = {Memory Efficient Parallel SAT Solving with Inprocessing},
author = {Markus Iser and Tomás Balyo and Carsten Sinz},
year = {2019},
doi = {10.1109/ICTAI.2019.00018},
url = {https://doi.org/10.1109/ICTAI.2019.00018},
researchr = {https://researchr.org/publication/IserBS19},
cites = {0},
citedby = {0},
pages = {64-70},
booktitle = {31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019},
publisher = {IEEE},
isbn = {978-1-7281-3798-8},
}