Login / Signup
Marko Malikovic
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 2
Top Topics
Computer Aided
Constraint Solving
Intraoperative
Application Domains
Top Venues
CoRR
CADE
Log. Methods Comput. Sci.
J. Int. Comput. Games Assoc.
</>
Publications
</>
Predrag Janicic
,
Filip Maric
,
Marko Malikovic
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
Log. Methods Comput. Sci.
15 (1) (2019)
Predrag Janicic
,
Filip Maric
,
Marko Malikovic
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
CoRR
(2018)
Filip Maric
,
Predrag Janicic
,
Marko Malikovic
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.
CADE
(2015)
Marko Malikovic
,
Predrag Janicic
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving.
J. Int. Comput. Games Assoc.
36 (2) (2013)