%0 Conference Paper %1 conf/synasc/BrightGHKNC16 %A Bright, Curtis %A Ganesh, Vijay %A Heinle, Albert %A Kotsireas, Ilias S. %A Nejati, Saeed %A Czarnecki, Krzysztof %B SC²@SYNASC %D 2016 %E Ábrahám, Erika %E Davenport, James H. %E Fontaine, Pascal %I CEUR-WS.org %K dblp %P 13-19 %T MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. %U http://dblp.uni-trier.de/db/conf/synasc/sc2016.html#BrightGHKNC16 %V 1804

@inproceedings{conf/synasc/BrightGHKNC16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Bright, Curtis and Ganesh, Vijay and Heinle, Albert and Kotsireas, Ilias S. and Nejati, Saeed and Czarnecki, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/2156e865f2fe7a2c6ae86d96f688a1d2e/dblp}, booktitle = {SC²@SYNASC}, crossref = {conf/synasc/2016sc}, editor = {Ábrahám, Erika and Davenport, James H. and Fontaine, Pascal}, ee = {https://ceur-ws.org/Vol-1804/paper-04.pdf}, interhash = {06c12ecec64ed327883c585d6af5176e}, intrahash = {156e865f2fe7a2c6ae86d96f688a1d2e}, keywords = {dblp}, pages = {13-19}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:42:00.000+0200}, title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.}, url = {http://dblp.uni-trier.de/db/conf/synasc/sc2016.html#BrightGHKNC16}, volume = 1804, year = 2016 }