Autori: Malikovic Marko
Naslov | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture (Article) |
Autori | Janicic Predrag ![]() ![]() |
Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2019), vol. 15 br. 1, str. - |
Projekat | Ministry of Science of Serbia [174021] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
Naslov | Proving Correctness of a Krk Chess Endgame Strategy by Sat-Based Constraint Solving (Article) |
Autori | Malikovic Marko Janicic Predrag ![]() |
Info | ICGA JOURNAL, (2013), vol. 36 br. 2, str. 81-99 |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|