Autori: Malikovic Marko
| Naslov | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture (Article) |
| Autori | Janicic Predrag Maric Filip M Malikovic Marko |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2019), vol. 15 br. 1, str. - |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (Proceedings Paper) |
| Autori | Maric Filip M Janicic Predrag Malikovic Marko |
| Info | AUTOMATED DEDUCTION - CADE-25, (2015), vol. 9195 br. , str. 256-271 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
