%0 Conference Paper %1 conf/aaai/0002BG24 %A Li, Zhengyu %A Bright, Curtis %A Ganesh, Vijay %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 23559-23560 %T A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#0002BG24

@inproceedings{conf/aaai/0002BG24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Li, Zhengyu and Bright, Curtis and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2436908b4959646575b8cf7469ffc7320/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i21.30472}, interhash = {9bda71f24a977bf7f334675509fbfced}, intrahash = {436908b4959646575b8cf7469ffc7320}, keywords = {dblp}, pages = {23559-23560}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#0002BG24}, year = 2024 }