%0 Journal Article %1 journals/jsc/BradfordDEMW16 %A Bradford, Russell J. %A Davenport, James H. %A England, Matthew %A McCallum, Scott %A Wilson, David J. %D 2016 %J J. Symb. Comput. %K dblp %P 1-35 %T Truth table invariant cylindrical algebraic decomposition. %U http://dblp.uni-trier.de/db/journals/jsc/jsc76.html#BradfordDEMW16 %V 76

@article{journals/jsc/BradfordDEMW16, added-at = {2022-01-31T00:00:00.000+0100}, author = {Bradford, Russell J. and Davenport, James H. and England, Matthew and McCallum, Scott and Wilson, David J.}, biburl = {https://www.bibsonomy.org/bibtex/2690262e88950d2eef8fb562c82b8df55/dblp}, ee = {https://www.wikidata.org/entity/Q59590566}, interhash = {5f06acd297884b505f6ad5194af6bf4e}, intrahash = {690262e88950d2eef8fb562c82b8df55}, journal = {J. Symb. Comput.}, keywords = {dblp}, pages = {1-35}, timestamp = {2024-04-09T05:30:07.000+0200}, title = {Truth table invariant cylindrical algebraic decomposition.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc76.html#BradfordDEMW16}, volume = 76, year = 2016 }