Filip Maric (Faculty of Mathematics

Identifiers

• name variant Filip Maric (Faculty of Mathematics 0.60 · backfill

Papers (1)

1. Formalization of Abstract State Transition Systems for SAT cs.LO · 2011 · author #1

Mentions

• 1108.4368 #1 · backfill · confidence 0.70 Filip Maric (Faculty of Mathematics

Frequent Coauthors

• Predrag Janicic (Faculty of Mathematics 1 shared papers
• University of Belgrade) 1 shared papers