%0 Conference Paper %1 conf/splc/YoungWT20 %A Young, Jeffrey M. %A Walkingshaw, Eric %A Thüm, Thomas %B SPLC (A) %D 2020 %E Lopez-Herrejon, Roberto Erick %I ACM %K dblp %P 18:1-18:12 %T Variational satisfiability solving. %U http://dblp.uni-trier.de/db/conf/splc/splc2020a.html#YoungWT20 %@ 978-1-4503-7569-6

@inproceedings{conf/splc/YoungWT20, added-at = {2020-10-22T00:00:00.000+0200}, author = {Young, Jeffrey M. and Walkingshaw, Eric and Thüm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2a9966ae9030960b9d7f4c231d40db2f7/dblp}, booktitle = {SPLC (A)}, crossref = {conf/splc/2020a}, editor = {Lopez-Herrejon, Roberto Erick}, ee = {https://doi.org/10.1145/3382025.3414965}, interhash = {72051d5b5dbd04d8fccf66df0fd49cec}, intrahash = {a9966ae9030960b9d7f4c231d40db2f7}, isbn = {978-1-4503-7569-6}, keywords = {dblp}, pages = {18:1-18:12}, publisher = {ACM}, timestamp = {2020-10-30T11:35:02.000+0100}, title = {Variational satisfiability solving.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2020a.html#YoungWT20}, year = 2020 }