%0 Conference Paper %1 conf/fmcad/PigorschSD06 %A Pigorsch, Florian %A Scholl, Christoph %A Disch, Stefan %B FMCAD %D 2006 %I IEEE Computer Society %K dblp %P 89-96 %T Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2006.html#PigorschSD06 %@ 0-7695-2707-8

@inproceedings{conf/fmcad/PigorschSD06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pigorsch, Florian and Scholl, Christoph and Disch, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/22a9e5ec3651531ac01af5a4043fc9a33/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.4}, interhash = {e07e0be2cb2b9b11462b27eda80e96aa}, intrahash = {2a9e5ec3651531ac01af5a4043fc9a33}, isbn = {0-7695-2707-8}, keywords = {dblp}, pages = {89-96}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:57:31.000+0200}, title = {Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2006.html#PigorschSD06}, year = 2006 }