Predrag Janicic (Faculty of Mathematics

Identifiers

• name variant Predrag Janicic (Faculty of Mathematics 0.60 · backfill

Papers (1)

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

Mentions

• 1108.4368 #3 · backfill · confidence 0.70 Predrag Janicic (Faculty of Mathematics

Frequent Coauthors

• Filip Maric (Faculty of Mathematics 1 shared papers
• University of Belgrade) 1 shared papers