The CAD Conundrum: Lex-Least vs Order

Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran. The CAD Conundrum: Lex-Least vs Order. In 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020. pages 32-35, IEEE, 2020. [doi]

@inproceedings{McCallumNDS20,
  title = {The CAD Conundrum: Lex-Least vs Order},
  author = {Scott McCallum and Akshar Nair and James H. Davenport and Gregory Sankaran},
  year = {2020},
  doi = {10.1109/SYNASC51798.2020.00017},
  url = {https://doi.org/10.1109/SYNASC51798.2020.00017},
  researchr = {https://researchr.org/publication/McCallumNDS20},
  cites = {0},
  citedby = {0},
  pages = {32-35},
  booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-7628-4},
}