Vol-1803⫷ Vol-1804 ⫸Vol-1805
urn:nbn:de:0074-1804-0


Vol-1804/paper-03⫷Vol-1804/paper-04⫸Vol-1804/paper-05

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures