%0 Conference Paper %1 conf/date/MinatoI01 %A ichi Minato, Shin %A Ishihara, Shinya %B DATE %D 2001 %E Nebel, Wolfgang %E Jerraya, Ahmed %I IEEE Computer Society %K dblp %P 702-707 %T Streaming BDD manipulation for large-scale combinatorial problems. %U http://dblp.uni-trier.de/db/conf/date/date2001.html#MinatoI01 %@ 0-7695-0993-2

@inproceedings{conf/date/MinatoI01, added-at = {2023-03-24T00:00:00.000+0100}, author = {ichi Minato, Shin and Ishihara, Shinya}, biburl = {https://www.bibsonomy.org/bibtex/2e309d1cc5fc80e104d20e0ab129740e3/dblp}, booktitle = {DATE}, crossref = {conf/date/2001}, editor = {Nebel, Wolfgang and Jerraya, Ahmed}, ee = {http://dl.acm.org/citation.cfm?id=367856}, interhash = {b685a01bff793fef5e49f044193f16f7}, intrahash = {e309d1cc5fc80e104d20e0ab129740e3}, isbn = {0-7695-0993-2}, keywords = {dblp}, pages = {702-707}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:53:17.000+0200}, title = {Streaming BDD manipulation for large-scale combinatorial problems.}, url = {http://dblp.uni-trier.de/db/conf/date/date2001.html#MinatoI01}, year = 2001 }