@article{Wilson2018, author = "Chris Wilson and David L. Dill and Randal Bryant", title = "{Symbolic Simulation with Approximate Values}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Symbolic_Simulation_with_Approximate_Values/6625964", doi = "10.1184/R1/6625964.v1" }