Travelled to:1 × France
1 × Germany
1 × Ireland
2 × United Kingdom
Collaborated with:P.Janicic M.Spasic M.Malikovic M.Nikolic
Talks about:increment (1) algorithm (1) strategi (1) procedur (1) platform (1) arithmet (1) uniform (1) stepwis (1) simplex (1) isabell (1)
Person: Filip Maric
DBLP: Maric:Filip
Contributed to:
2015
2012
2010
20092004Wrote 5 papers:
- CADE-2015-MaricJM #correctness #higher-order #proving #using
- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (FM, PJ, MM), pp. 256–271.
- FM-2012-SpasicM #algorithm #formal method #incremental #refinement
- Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
- IJCAR-2010-MaricJ #named #reduction
- URBiVA: Uniform Reduction to Bit-Vector Arithmetic (FM, PJ), pp. 346–352.
- SAT-2009-NikolicMJ #policy #satisfiability
- Instance-Based Selection of Policies for SAT Solvers (MN, FM, PJ), pp. 326–340.
- IJCAR-2004-MaricJ #framework #named #platform
- argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.