%0 Conference Paper %1 conf/se/YoungBWT23 %A Young, Jeffrey M. %A Bittner, Paul Maximilian %A Walkingshaw, Eric %A Thüm, Thomas %B Software Engineering %D 2023 %E Engels, Gregor %E Hebig, Regina %E Tichy, Matthias %I Gesellschaft für Informatik e.V. %K dblp %P 129-130 %T Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. %U http://dblp.uni-trier.de/db/conf/se/se2023.html#YoungBWT23 %V P-332 %@ 978-3-88579-726-5

@inproceedings{conf/se/YoungBWT23, added-at = {2023-07-04T00:00:00.000+0200}, author = {Young, Jeffrey M. and Bittner, Paul Maximilian and Walkingshaw, Eric and Thüm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2b7542dc4ecb254c6d0cf71612b46368b/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2023}, editor = {Engels, Gregor and Hebig, Regina and Tichy, Matthias}, ee = {https://dl.gi.de/handle/20.500.12116/40119}, interhash = {99be9206d969aca1a0a5886554ee1bfd}, intrahash = {b7542dc4ecb254c6d0cf71612b46368b}, isbn = {978-3-88579-726-5}, keywords = {dblp}, pages = {129-130}, publisher = {Gesellschaft für Informatik e.V.}, series = {LNI}, timestamp = {2024-04-09T13:03:20.000+0200}, title = {Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary.}, url = {http://dblp.uni-trier.de/db/conf/se/se2023.html#YoungBWT23}, volume = {P-332}, year = 2023 }