@phdthesis(allisPhD,
 author       = "Louis~Victor Allis",
 year         = "1994",
 title        = "Searching for Solutions in Games and Artificial Intelligence",
 school       = "Rijksuniversiteit Limburg te Maastricht",
)
@inproceedings(CompressionBDDs,
 author       = "Marcel Ball and Robert~C. Holte",
 year         = "2008",
 title        = "The Compression Power of Symbolic Pattern Databases",
 booktitle    = "ICAPS",
 pages        = "2--11",
)
@inproceedings(PHF,
 author       = "Fabiano~C. Botelho and Rasmus Pagh and Nivio Ziviani",
 year         = "2007",
 title        = "Simple and Space-Efficient Minimal Perfect Hash Functions",
 booktitle    = "WADS",
 pages        = "139--150",
 doi          = "10.1007/978-3-540-73951-7\_13",
)
@inproceedings(BreyerK10a,
 author       = "Teresa~M. Breyer and Richard~E. Korf",
 year         = "2010",
 title        = "1.6-Bit Pattern Databases",
 booktitle    = "AAAI",
 pages        = "39--44",
 url          = "http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1850",
)
@inproceedings(bdd85,
 author       = "Randal~E. Bryant",
 year         = "1985",
 title        = "Symbolic Manipulation of {Boolean} Functions Using a Graphical Representation",
 booktitle    = "22nd Design Automation Conference (DAC)",
 publisher    = "ACM Press",
 pages        = "688--694",
 doi          = "10.1145/317825.317964",
)
@article(bdd86,
 author       = "Randal~E. Bryant",
 year         = "1986",
 title        = "Graph-Based Algorithms for {Boolean} Function Manipulation",
 journal      = "IEEE Transactions on Computers",
 volume       = "35",
 number       = "8",
 pages        = "677--691",
 doi          = "10.1109/TC.1986.1676819",
)
@article(Cimatti,
 author       = "Alessandro Cimatti and Marco Pistore and Marco Roveri and Paolo Traverso",
 year         = "2003",
 title        = "Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking",
 journal      = "Artificial Intelligence",
 volume       = "147",
 number       = "1--2",
 pages        = "35--84",
 doi          = "10.1016/S0004-3702(02)00374-0",
)
@inproceedings(rank,
 author       = "Martin Dietzfelbinger and Stefan Edelkamp",
 year         = "2009",
 title        = "Perfect Hashing for State Spaces in {BDD} Representation",
 booktitle    = "KI",
 pages        = "33--40",
 doi          = "10.1007/978-3-642-04617-9\_5",
)
@inproceedings(EdelkampR98,
 author       = "Stefan Edelkamp and Frank Reffel",
 year         = "1998",
 title        = "OBDDs in Heuristic Search",
 booktitle    = "KI",
 pages        = "81--92",
 doi          = "10.1007/BFb0095430",
)
@article(Emerson,
 author       = "Subramanian Iyer and Debashis Sahoo and E.~Allen Emerson and Jawahar Jain",
 year         = "2006",
 title        = "On Partitioning and Symbolic Model Checking",
 journal      = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
 volume       = "25",
 number       = "5",
 pages        = "780--788",
 doi          = "10.1109/TCAD.2006.870410",
)
@article(Jensen08,
 author       = "Rune~M. Jensen and Manuela~M. Veloso and Randal~E. Bryant",
 year         = "2008",
 title        = "State-Set Branching: Leveraging BDDs for Heuristic Search",
 journal      = "Artificial Intelligence",
 volume       = "172",
 number       = "2-3",
 pages        = "103--139",
 doi          = "10.1016/j.artint.2007.05.009",
)
@inproceedings(kissmann:layer-abstraction,
 author       = "Peter Kissmann and Stefan Edelkamp",
 year         = "2010",
 title        = "Layer-Abstraction for Symbolically Solving General Two-Player Games.",
 booktitle    = "SoCS'10",
 pages        = "63--70",
)
@inproceedings(TwoBitsBFS,
 author       = "Richard~E. Korf",
 year         = "2008",
 title        = "Minimizing Disk {I/O} in Two-Bit Breadth-First Search",
 booktitle    = "AAAI",
 pages        = "317--324",
)
@techreport(gdl_specification,
 author       = "Nathaniel~C. Love and Timothy~L. Hinrichs and Michael~R. Genesereth",
 year         = "2006",
 title        = "General Game Playing: Game Description Language Specification",
 type         = "Technical Report",
 number       = "LG-2006-01",
 institution  = "Stanford Logic Group",
)
@phdthesis(thesiskenneth,
 author       = "Kenneth~L. McMillan",
 year         = "1992",
 title        = "Symbolic Model Checking: An Approach to the State Explosion Problem",
 school       = "Carnegie Mellon University",
)
@book(bddRelProd,
 author       = "Kenneth~L. McMillan",
 year         = "1993",
 title        = "Symbolic Model Checking",
 publisher    = "Kluwer Academic Publishers",
 doi          = "10.1007/978-1-4615-3190-6",
)
@inproceedings(Minato,
 author       = "{Shin-ichi} Minato and Nagisa Ishiura and Shuzo Yajima",
 year         = "1990",
 title        = "Shared Binary Decision Diagram with Attributed Edges for Efficient {Boolean} Function Manipulation",
 booktitle    = "DAC",
 publisher    = "ACM Press",
 pages        = "52--57",
 doi          = "10.1109/DAC.1990.114828",
)
@inproceedings(569909,
 author       = "Amit Narayan and Jawahar Jain and M.~Fujita and A.~Sangiovanni-Vincentelli",
 year         = "1996",
 title        = "Partitioned ROBDDs -- A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions",
 booktitle    = "ICCAD",
 pages        = "547--554",
 doi          = "10.1109/ICCAD.1996.569909",
)
@article(AwariSolved,
 author       = "John~W. Romein and Henri~E. Bal",
 year         = "2002",
 title        = "Awari is Solved",
 journal      = "International Computer Games Association (ICGA) Journal",
 volume       = "25",
 number       = "3",
 pages        = "162--165",
)
@inproceedings(Stangier,
 author       = "Debashis Sahoo and Subramanian~K. Iyer and Jawahar Jain and Christian Stangier and Amit Narayan and David~L. Dill and E.~Allen Emerson",
 year         = "2004",
 title        = "A Partitioning Methodology for {BDD}-Based Verification",
 booktitle    = "Formal Methods in Computer-Aided Design",
 pages        = "399--413",
 doi          = "10.1007/978-3-540-30494-4\_28",
)
@misc(cudd,
 author       = "Fabio Somenzi",
 year         = "2009",
 title        = "CUDD: {CU} Decision Diagram Package, Release 2.4.2",
 url          = "http://vlsi.colorado.edu/~fabio/CUDD/",
)
@inproceedings(PerformanceBDD,
 author       = "Bwolen Yang and Randal~E. Bryant and David~R. O'Hallaron and Armin Biere and Olivier Coudert and Geert Janssen and Rajeev~K. Ranjan and Fabio Somenzi",
 year         = "1998",
 title        = "A Performance Study of BDD-Based Model Checking",
 booktitle    = "FMCAD",
 pages        = "255--289",
 doi          = "10.1007/3-540-49519-3\_18",
)