BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maric:Filip

Contributed to:

CADE 20152015
FM 20122012
IJCAR 20102010
SAT 20092009
IJCAR 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.