%0 Conference Paper %1 conf/coco/AgrawalT98 %A Agrawal, Manindra %A Thierauf, Thomas %B Computational Complexity Conference %D 1998 %I IEEE Computer Society %K %P 81- %T The Satisfiability Problem for Probabilistic Ordered Branching Programs. %U http://dblp.uni-trier.de/db/conf/coco/coco1998.html#AgrawalT98 %@ 0-8186-8395-3

@inproceedings{conf/coco/AgrawalT98, added-at = {2023-12-14T15:57:02.000+0100}, author = {Agrawal, Manindra and Thierauf, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2824db7db46a4aca80a8e4839a890bdc2/admin}, booktitle = {Computational Complexity Conference}, crossref = {conf/coco/1998}, ee = {http://doi.ieeecomputersociety.org/10.1109/CCC.1998.694593}, interhash = {f194a31b7e9cb753b45a98270722e180}, intrahash = {824db7db46a4aca80a8e4839a890bdc2}, isbn = {0-8186-8395-3}, keywords = {}, pages = {81-}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:57:02.000+0100}, title = {The Satisfiability Problem for Probabilistic Ordered Branching Programs.}, url = {http://dblp.uni-trier.de/db/conf/coco/coco1998.html#AgrawalT98}, year = 1998 }