17 citations · 28 across the 5 of their papers we have counts for
5 papers
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
Predrag Janičić, Filip Marić, Marko Maliković
There are several approaches for using computers in deriving mathematical proofs. For their illustration, we provide an in-depth study of using computer support for proving one com…
Short Portfolio Training for CSP Solving
Mirko Stojadinović, Mladen Nikolić, Filip Marić
Many different approaches for solving Constraint Satisfaction Problems (CSPs) and related Constraint Optimization Problems (COPs) exist. However, there is no single solver (nor app…
Formalization and Implementation of Algebraic Methods in Geometry
Filip Marić, Ivan Petrović, Danijela Petrović +1
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration…
Formalization of Abstract State Transition Systems for SAT
Filip Maric, Predrag Janicic
We present a formalization of modern SAT solvers and their properties in a form of abstract state transition systems. SAT solving procedures are described as transition relations o…
Simple Algorithm Portfolio for SAT
Mladen Nikolic, Filip Maric, Predrag Janicic
The importance of algorithm portfolio techniques for SAT has long been noted, and a number of very successful systems have been devised, including the most successful one --- SATzi…