%0 Conference Paper %1 conf/sas/BoigelotGWW97 %A Boigelot, Bernard %A Godefroid, Patrice %A Willems, Bernard %A Wolper, Pierre %B SAS %D 1997 %E Hentenryck, Pascal Van %I Springer %K dblp %P 172-186 %T The Power of QDDs (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/sas/sas97.html#BoigelotGWW97 %V 1302 %@ 3-540-63468-1

@inproceedings{conf/sas/BoigelotGWW97, added-at = {2024-02-05T00:00:00.000+0100}, author = {Boigelot, Bernard and Godefroid, Patrice and Willems, Bernard and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2e2c2e38c35c4596a15d729dd3ff5f30a/dblp}, booktitle = {SAS}, crossref = {conf/sas/1997}, editor = {Hentenryck, Pascal Van}, ee = {https://doi.org/10.1007/BFb0032741}, interhash = {2d0454c37f4714745a8739c8dcf1da3f}, intrahash = {e2c2e38c35c4596a15d729dd3ff5f30a}, isbn = {3-540-63468-1}, keywords = {dblp}, pages = {172-186}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:04:10.000+0200}, title = {The Power of QDDs (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/sas/sas97.html#BoigelotGWW97}, volume = 1302, year = 1997 }