dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Predrag Janicic (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic: Formalization and Implementation of Algebraic Methods in Geometry THedu'11 2011: 63-81
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMladen Nikolic, Filip Maric, Predrag Janicic: Simple Algorithm Portfolio for SAT CoRR abs/1107.0268: (2011)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilip Maric, Predrag Janicic: Formalization of Abstract State Transition Systems for SAT Logical Methods in Computer Science 7(3): (2011)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilip Maric, Predrag Janicic: URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR 2010: 346-352
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilip Maric, Predrag Janicic: Formal Correctness Proof for DPLL Procedure. Informatica, Lith. Acad. Sci. 21(1): 57-78 (2010)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMladen Nikolic, Filip Maric, Predrag Janicic: Instance-Based Selection of Policies for SAT Solvers. SAT 2009: 326-340
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilip Maric, Predrag Janicic: argo-lib: A Generic Platform for Decision Procedures. IJCAR 2004: 213-217

Selection of 7 from 29 records - Predrag Janicic has 20 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page