%0 Thesis %1 phd/dnb/Scheibler17 %A Scheibler, Karsten %D 2017 %K dblp %T Applying CDCL to verification and test: when laziness pays off.

@phdthesis{phd/dnb/Scheibler17, added-at = {2021-07-17T00:00:00.000+0200}, author = {Scheibler, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/26b8f9547e065adefee1565297f06be23/dblp}, ee = {https://d-nb.info/1134967969}, interhash = {017b110a5234a8d68802ebec6a062d1d}, intrahash = {6b8f9547e065adefee1565297f06be23}, keywords = {dblp}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2024-04-09T08:39:31.000+0200}, title = {Applying CDCL to verification and test: when laziness pays off.}, year = 2017 }