Marko Malikovic
According to our database1,
Marko Malikovic
authored at least 3 papers
between 2013 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
Log. Methods Comput. Sci., 2019
2015
Proceedings of the Automated Deduction - CADE-25, 2015
2013
J. Int. Comput. Games Assoc., 2013