Search the dblp DataBase

Publications of Author

1. Juan A. Navarro, Andrei Voronkov
   Generation of Hard Non-Clausal Random Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
   AAAI, 2005, pp:436-442 [Conf]
   
2. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
   Safe beliefs for propositional theories. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:63-82 [Journal]
   
3. Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
   Ground Nonmonotonic Modal Logic S5: New Results. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:5, pp:787-813 [Journal]
   
4. Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
   Logics with Common Weak Completions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:867-890 [Journal]
   
5. Juan Antonio Navarro Pérez, Andrei Voronkov
   Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:346-361 [Conf]
   
6. Juan Antonio Navarro Pérez, Andrei Voronkov
   Encodings of Problems in Effectively Propositional Logic. [Citation Graph (0, 0)][DBLP]
   SAT, 2007, pp:3- [Conf]
   
7. 
   Proof Systems for Effectively Propositional Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Cardinality Abstraction for Declarative Networking Applications. [Citation Graph (, )][DBLP]