%0 Journal Article %1 journals/jar/BlanchetteFLW18 %A Blanchette, Jasmin Christian %A Fleury, Mathias %A Lammich, Peter %A Weidenbach, Christoph %D 2018 %J J. Autom. Reason. %K %N 1-4 %P 333-365 %T A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. %U http://dblp.uni-trier.de/db/journals/jar/jar61.html#BlanchetteFLW18 %V 61

@article{journals/jar/BlanchetteFLW18, added-at = {2023-12-12T18:28:31.000+0100}, author = {Blanchette, Jasmin Christian and Fleury, Mathias and Lammich, Peter and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2cfc418fd2376cfe8f46639325061e380/admin}, ee = {https://www.wikidata.org/entity/Q64950500}, interhash = {12cc711fa3b2d9dd281e54b2251e9c4d}, intrahash = {cfc418fd2376cfe8f46639325061e380}, journal = {J. Autom. Reason.}, keywords = {}, number = {1-4}, pages = {333-365}, timestamp = {2023-12-12T18:28:31.000+0100}, title = {A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar61.html#BlanchetteFLW18}, volume = 61, year = 2018 }