Mladen Nikolic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2012
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | AISC | CDCL-Based Abstract State Transition System for Coherent Logic. | Mladen Nikolic, Predrag Janicic |
| 2010 | CADE | Statistical Methodology for Comparison of SAT Solvers. | Mladen Nikolic |
| 2010 | SAT | Statistical Methodology for Comparison of SAT Solvers. | Mladen Nikolic |
| 2009 | SAT | Instance-Based Selection of Policies for SAT Solvers. | Mladen Nikolic, Filip Maric, Predrag Janicic |