## 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