Резултати
еНаука >
Резултати >
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving
| Назив: | Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving | Аутори: | Janičić, Predrag |
Година: | 2013 | Публикација: | ICGA Journal | ISSN: | 1389-6911 ICGA Journal / International Computer Games Association Претражи идентификатор |
Издавач: | Amsterdam : IOS Press | Тип резултата: | Научни чланак | Колација: | 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 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | 21M21 - Водећи међународни часопис категорије M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.