еНаука - преглед
Преглед према Аутор Marić, Filip
Приказ резултата 1 до 20 од 64
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2021 | A Proof System for Graph (Non)-Isomorphism Verification (✓) | Bankovic, Milan M; Drecun, Ivan; Maric, Filip M ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | A Survey of Interactive Theorem Proving (✓) | Marić, Filip ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2010 | An Alldifferent constraint solver in SMT (✓) | Banković, Milan ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Application of exact and heuristic methods to low autocorrelation binary sequences problem (✓) | Marić, Miroslav R. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2004 | ARGO-LIB: A generic platform for decision procedures (✓) | Maric, Filip M ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2023 | Automated triangle constructions in hyperbolic geometry (✓) | Marinkovic, Vesna ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa (✓) | Vujošević-Janičić, Milena ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2019 | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture (✓) | Janičić, Predrag Đ. ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2018 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике (✓) | Шћепановић, Данијела; Лечић-Цветковић, Даница ![]() ![]() ![]() ![]() | Остало | Мп категорија ће бити приказана накнадно. |
2019 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издање (✓) | Шћепановић, Данијела; Лечић-Цветковић, Даница ![]() ![]() ![]() ![]() | Лексикографска/Енциклопедијска јединица | Мп категорија ће бити приказана накнадно. |
2021 | Faradzev Read-type enumeration of non-isomorphic CC systems (✓) | Bankovic, Milan M; Maric, Filip M ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2019 | Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points (✓) | Marić, Filip ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2010 | Formal Correctness Proof for DPLL Procedure (✓) | Marić, Filip ![]() ![]() ![]() ![]() | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (✓) | Marić, Filip ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2017 | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Simić, Danijela | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2012 | Formalization and Implementation of Algebraic Methods in Geometry (✓) | Marić, Filip ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2009 | Formalization and implementation of modern SAT solvers (✓) | Marić, Filip ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |