Results
eNauka >
Results >
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving
| Title: | Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving | Authors: | Janičić, Predrag |
Issue Date: | 2013 | Publication: | ICGA Journal | ISSN: | 1389-6911 ICGA Journal / International Computer Games Association Search Idenfier |
Publisher: | Amsterdam : IOS Press | Type: | Article | Collation: | vol. 36 br. 2 str. 81-99 | DOI: | 10.3233/ICG-2013-36203 | WoS-ID: | 000330091300003 | Scopus-ID: | 2-s2.0-84884165018 | URI: | https://enauka.gov.rs/handle/123456789/554512 | URL: | http://icga.uvt.nl/wp-uploads/TOC/Table36.2.pdf | Metadata source: | Migrirano iz RIS podataka | M-category: | 21M21 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.