| 2008 |
|---|
| 7 | EE | Juan Antonio Navarro Pérez,
Andrei Voronkov:
Proof Systems for Effectively Propositional Logic.
IJCAR 2008: 426-440 |
| 2007 |
|---|
| 6 | EE | Juan Antonio Navarro Pérez,
Andrei Voronkov:
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic.
CADE 2007: 346-361 |
| 5 | EE | Juan Antonio Navarro Pérez,
Andrei Voronkov:
Encodings of Problems in Effectively Propositional Logic.
SAT 2007: 3 |
| 2006 |
|---|
| 4 | EE | Mauricio Osorio,
Juan Antonio Navarro Pérez,
José R. Arrazola Ramírez,
Verónica Borja Macías:
Logics with Common Weak Completions.
J. Log. Comput. 16(6): 867-890 (2006) |
| 2005 |
|---|
| 3 | | Juan Antonio Navarro Pérez,
Andrei Voronkov:
Generation of Hard Non-Clausal Random Satisfiability Problems.
AAAI 2005: 436-442 |
| 2 | EE | Mauricio Osorio,
Juan Antonio Navarro Pérez,
José Arrazola:
Safe beliefs for propositional theories.
Ann. Pure Appl. Logic 134(1): 63-82 (2005) |
| 1 | EE | 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.
J. Log. Comput. 15(5): 787-813 (2005) |
