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

@phdthesis{phd/dnb/Scheibler17, added-at = {2023-12-12T17:17:20.000+0100}, author = {Scheibler, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/26b8f9547e065adefee1565297f06be23/admin}, ee = {http://d-nb.info/1134967969}, interhash = {017b110a5234a8d68802ebec6a062d1d}, intrahash = {6b8f9547e065adefee1565297f06be23}, keywords = {}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2023-12-12T17:17:20.000+0100}, title = {Applying CDCL to verification and test: when laziness pays off.}, year = 2017 }