Marko Malikovic

According to our database, Marko Malikovic authored at least 3 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.

Predrag Janicic, Filip Maric, Marko Malikovic

Log. Methods Comput. Sci., 2019

2015

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.

Filip Maric, Predrag Janicic, Marko Malikovic

Proceedings of the Automated Deduction - CADE-25, 2015

2013

Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving.

Marko Malikovic, Predrag Janicic

J. Int. Comput. Games Assoc., 2013