Browsing eNauka

Browsing by Author Marić, Filip

Showing results 1 to 20 of 79  next >
Issue DateTitleAuthor(s)TypeМp-cat.
2023A Proof System for Graph (Non)-Isomorphism VerificationBankovic, Milan M  ; Drecun, Ivan  ; Maric, Filip M  Article
21M21
2015A Survey of Interactive Theorem ProvingMarić, Filip  Book parts
Mp. category will be shown later
2010An Alldifferent constraint solver in SMTBanković, Milan  ; Marić, Filip  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2018An Incremental Simplex Algorithm with Unsatisfiable Core GenerationMarić, Filip  ; Spasić, Mirko  ; Thiemann, RenéNaučni članak
Mp kategorija će biti prikazana naknadno.
2012Application of exact and heuristic methods to low autocorrelation binary sequences problemMarić, Miroslav R.  ; Marić, Filip M.  ; A. ĐenićKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2004ARGO-LIB: A generic platform for decision proceduresMaric, Filip M  ; Janicic, Predrag  Научни чланак
22M22 - Међународни часопис категорије M22
2023Automated triangle constructions in hyperbolic geometryMarinkovic, Vesna  ; Sukilovic, Tijana  ; Maric, Filip M  Article
22M22
2013Automatsko generisanje i proveravanje uslova ispravnosti programaVujošević-Janičić, Milena  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag Đ.  ; Marić, Filip M.  ; Maliković, MarkoNaučni članak
22M22 - Međunarodni časopis kategorije M22
2018Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставникеШћепановић, Данијела; Лечић-Цветковић, Даница  ; Марић, Филип  Other
Mp. category will be shown later
2019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издањеШћепановић, Данијела; Лечић-Цветковић, Даница  ; Марић, Филип  Udžbenik
Mp kategorija će biti prikazana naknadno.
2021Faradzev Read-type enumeration of non-isomorphic CC systemsBankovic, Milan M  ; Maric, Filip M  Article
22M22
2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip  Article
22M22
2010Formal Correctness Proof for DPLL ProcedureMarić, Filip  ; Janičić, Predrag  Article
21aM21a
2025Formal Verification of a Fail-Safe Cross-Chain BridgeMaric, Filip  ; Scholz, Bernhard; Subotić, PavleConference Paper
Mp. category will be shown later
2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip  Article
22M22
2016Формализација и аутоматско доказивање теорема еуклидске геометријеStojanović, SanaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2017Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теоремаSimić, DanijelaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2009Formalizacija, implementacija i primene SAT rešavačaMarić, Filip  Докторска дисертација
70M70 - Одбрањена докторска дисертација