Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm. Variational satisfiability solving. In Roberto Erick Lopez-Herrejon, editor, SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020. ACM, 2020. [doi]
@inproceedings{YoungWT20,
title = {Variational satisfiability solving},
author = {Jeffrey M. Young and Eric Walkingshaw and Thomas Thüm},
year = {2020},
doi = {10.1145/3382025.3414965},
url = {https://doi.org/10.1145/3382025.3414965},
researchr = {https://researchr.org/publication/YoungWT20},
cites = {0},
citedby = {0},
booktitle = {SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020},
editor = {Roberto Erick Lopez-Herrejon},
publisher = {ACM},
isbn = {978-1-4503-7569-6},
}