Predrag Janicic
Identifiers
- name variant Predrag Janicic 0.60 · backfill
Papers (3)
- A Vernacular for Coherent Logic cs.LO · 2014 · author #5
- Towards Understanding Triangle Construction Problems cs.AI · 2012 · author #2
- Simple Algorithm Portfolio for SAT cs.AI · 2011 · author #3
Mentions
Frequent Coauthors
- Filip Maric 1 shared papers
- ICube) 1 shared papers
- Julien Narboux (INRIA Nancy - Grand Est / LSIIT 1 shared papers
- Marc Bezem 1 shared papers
- Mladen Nikolic 1 shared papers
- Sana Stojanovic 1 shared papers
- Vesna Marinkovic 1 shared papers