Filip Marić

Available identifiers

zbMath Open maric.filipWikidataQ102353585 ScholiaQ102353585MaRDI QIDQ606998

List of research outcomes

Publication	Date of Publication	Type
On automating triangle constructions in absolute and hyperbolic geometry	2024-12-17	Paper
Automated triangle constructions in hyperbolic geometry	2024-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q6173578	2023-07-21	Paper
A proof system for graph (non)-isomorphism verification	2023-03-22	Paper
Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation	2022-11-09	Paper
Faradžev Read-type enumeration of non-isomorphic CC systems	2021-09-17	Paper
Formalization of the Poincaré disc model of hyperbolic geometry	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5376649	2019-05-17	Paper
Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points	2019-03-20	Paper
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3	2015-12-02	Paper
Formalizing complex plane geometry	2015-07-27	Paper
meSAT: multiple encodings of CSP to SAT	2015-04-29	Paper
Formalization of Incremental Simplex Algorithm by Stepwise Refinement	2012-11-08	Paper
Formalizing Frankl’s Conjecture: FC-Families	2012-09-07	Paper
Formalization of Abstract State Transition Systems for SAT	2012-04-02	Paper
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL	2010-11-19	Paper
URBiVA: Uniform Reduction to Bit-Vector Arithmetic	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3562927	2010-05-28	Paper
Using simplex method in verifying software safety	2010-01-12	Paper
Formalization and implementation of modern SAT solvers	2009-09-01	Paper
Automated Reasoning	2007-09-25	Paper

Research outcomes over time

This page was built for person: Filip Marić