%0 Conference Paper %1 conf/lpar/FleuryW20 %A Fleury, Mathias %A Weidenbach, Christoph %B LPAR %D 2020 %E Albert, Elvira %E Kovács, Laura %I EasyChair %K dblp %P 212-229 %T A Verified SAT Solver Framework including Optimization and Partial Valuations. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#FleuryW20 %V 73

@inproceedings{conf/lpar/FleuryW20, added-at = {2021-08-15T00:00:00.000+0200}, author = {Fleury, Mathias and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2321543e6037198f8785504d2d3c54fc8/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2020}, editor = {Albert, Elvira and Kovács, Laura}, ee = {https://doi.org/10.29007/96wb}, interhash = {4a679575a4735b5f04e7fa5adac0d349}, intrahash = {321543e6037198f8785504d2d3c54fc8}, keywords = {dblp}, pages = {212-229}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {A Verified SAT Solver Framework including Optimization and Partial Valuations.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#FleuryW20}, volume = 73, year = 2020 }