Search




Research outputs

Formalization and implementation of modern SAT solvers   [2009]

Marić, Filip  

A General Setting for Flexibly Combining and Augmenting Decision Procedures   [2002]

Janicic, Predrag  ; Bundy, Alan

Automated Theorem Proving in GeoGebra: Current Achievements   [2015]

Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag  ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon

Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points   [2019]

Marić, Filip  

Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols   [2025]

Janičić, Predrag  

Formalization of the Poincare Disc Model of Hyperbolic Geometry   [2021]

Simic, Danijela  ; Maric, Filip M  ; Boutry, Pierre

Geometry Constructions Language   [2010]

Janičić, Predrag  

Theorem Proving as Constraint Solving with Coherent Logic   [2022]

Janicic, Predrag  ; Narboux, Julien

The Area Method: A Recapitulation   [2012]

Janičić, Predrag  ; Narboux, Julien; Quaresma, Pedro

Filters