Filip Marić

Homepages 🌐

• http://www.matf.bg.ac.rs/~filip

E-Mails 📧

• sr.ca.gb.ftam @pilif

Entries

2019

Poincaré Disc Model

by Danijela Simić 🌐, Filip Marić 🌐 and Pierre Boutry 📧

Dec 16

Complex Geometry

by Filip Marić 🌐 and Danijela Simić 🌐

Dec 16

2018

An Incremental Simplex Algorithm with Unsatisfiable Core Generation

by Filip Marić 📧, Mirko Spasić 📧 and René Thiemann 🌐

Aug 24

2008

Formal Verification of Modern SAT Solvers

by Filip Marić 🌐

Jul 23