1. Research with MATF

Marić, Filip

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Marić, Filip
Variants
Marić, F.
Maric, F.
 
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

Results 61-74 of 74 (Search time: 0.015 seconds).

Issue DateTitleAuthor(s)Rank
6112-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip M22
210-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
31-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21a
42010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33
59-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
61-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip M21
71-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24
82009ТeX and LaTeXMarić, Filip M50
92009Formalizacija, implementacija i primene SAT rešavačaMarić, Filip M70
501-Jan-2005Automatic construction of surface modelMarić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško
512005Numeričke metode : zbirka zadataka kroz C, Fortran i MatlabRadunović, Desanka P; Samardžić, Aleksandar B; Marić, Filip 
121-Jan-2004ARGO-LIB: A generic platform for decision proceduresMarić, Filip ; Janičić, Predrag M33
131-Jan-2003CCD microscopy - Image analysis by group for intelligent systems (GIS)Jovanović, Aleksandar; Dordević, Zoran; Marić, Filip ; Marić, Miroslav ; Perišić, Dragoljub
14-Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставникеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip