Резултати
eNauka >
Rezultati >
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving
| Naziv: | Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving | Autori: | Janičić, Predrag   ; Marko Maliković |
Godina: | 2013 | Publikacija: | ICGA Journal | ISSN: | 1389-6911 ICGA Journal / International Computer Games Association Pretraži identifikator |
Izdavač: | Amsterdam : IOS Press | Tip rezultata: | Naučni članak | Kolacija: | 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 | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | 21M21 - Vodeći međunarodni časopis kategorije M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.