%0 Conference Paper %1 conf/cade/BlanchetteFW16 %A Blanchette, Jasmin Christian %A Fleury, Mathias %A Weidenbach, Christoph %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K %P 25-44 %T A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#BlanchetteFW16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/BlanchetteFW16, added-at = {2023-12-12T22:02:57.000+0100}, author = {Blanchette, Jasmin Christian and Fleury, Mathias and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2eb585bdc06458323a315fdc0151d494d/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_4}, interhash = {4640eb9b1b6000328887ec86b72ed7ed}, intrahash = {eb585bdc06458323a315fdc0151d494d}, isbn = {978-3-319-40228-4}, keywords = {}, pages = {25-44}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:02:57.000+0100}, title = {A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#BlanchetteFW16}, volume = 9706, year = 2016 }