Report copyright - PROVING CORRECTNESS OF A KRK CHESS ENDGAME …argo.matf.bg.ac.rs/publications/2013/2013-icga-krk-sat.pdf · PROVING CORRECTNESS OF A KRK CHESS ENDGAME STRATEGY BY SAT-BASED CONSTRAINT
Please pass captcha verification before submit form