Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm. Variational satisfiability solving: efficiently solving lots of related SAT problems. Empirical Software Engineering, 28(1):14, 2023. [doi]
@article{YoungBWT23,
title = {Variational satisfiability solving: efficiently solving lots of related SAT problems},
author = {Jeffrey M. Young and Paul Maximilian Bittner and Eric Walkingshaw and Thomas Thüm},
year = {2023},
doi = {10.1007/s10664-022-10217-3},
url = {https://doi.org/10.1007/s10664-022-10217-3},
researchr = {https://researchr.org/publication/YoungBWT23},
cites = {0},
citedby = {0},
journal = {Empirical Software Engineering},
volume = {28},
number = {1},
pages = {14},
}