@article{Yang2018, author = "Bwolen Yang and Reid Simmons and Randal Bryant and David O'Hallaron", title = "{Optimizing Symbolic Model Checking for Constraint-Rich Models}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Optimizing_Symbolic_Model_Checking_for_Constraint-Rich_Models/6625022", doi = "10.1184/R1/6625022.v1" }