scientific article; zbMATH DE number 7056222

DOI10.23638/LMCS-15(1:34)2019MaRDI QIDQ5376649zbMATH OpenFDO

Authors Predrag Janičić, Filip Marić, Marko Maliković

Publication date 17 May 2019

Full work available at URL https://arxiv.org/abs/1801.07528

zbMATH Keywords

chesschess endgameconstraint programmingproof assistantsSATSMTstrategytheorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Computational methods and new results for chessboard problems
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Towards a combinatorial proof theory
• On computer-assisted proofs in ordinal number theory
• On computer-assisted proofs for solutions of linear complementarity problems
• scientific article; zbMATH DE number 4108029
• Computer-assisted proofs in analysis
• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures

Cited in

(3)

• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
• Chess: a cover-up
• Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5376649)