 | 2011 |
|---|
| 12 |       | Vincent Aravantinos,
Nicolas Peltier:
Schemata of SMT-Problems.
TABLEAUX 2011: 27-42 |
| 11 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
Linear Temporal Logic and Propositional Schemata, Back and Forth.
TIME 2011: 80-87 |
| 10 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
CoRR abs/1102.2174: (2011) |
| 9 | | Vincent Aravantinos,
Nicolas Peltier:
Generating Schemata of Resolution Proofs
CoRR abs/1106.2692: (2011) |
| 8 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
Decidability and Undecidability Results for Propositional Schemata.
J. Artif. Intell. Res. (JAIR) 40: 599-656 (2011) |
| 2010 |
|---|
| 7 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
A Decidable Class of Nested Iterated Schemata.
IJCAR 2010: 293-308 |
| 6 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
RegSTAB: A SAT Solver for Propositional Schemata.
IJCAR 2010: 309-315 |
| 5 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
Complexity of the Satisfiability Problem for a Class of Propositional Schemata.
LATA 2010: 58-69 |
| 4 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
Simplified handling of iterated term schemata.
Ann. Math. Artif. Intell. 58(3-4): 155-183 (2010) |
| 3 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
A Decidable Class of Nested Iterated Schemata (extended version)
CoRR abs/1001.4251: (2010) |
| 2009 |
|---|
| 2 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
A Schemata Calculus for Propositional Logic.
TABLEAUX 2009: 32-46 |
| 2008 |
|---|
| 1 | | Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier:
More Flexible Term Schematisations via Extended Primal Grammars.
ISAIM 2008 |
Data released under the ODC-BY 1.0 license — See also our legal information page