Sciweavers

6 search results - page 2 / 2
» A sentence reduction using syntax control
Sort
View
JELIA
2004
Springer
13 years 10 months ago
tascpl: TAS Solver for Classical Propositional Logic
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
Manuel Ojeda-Aciego, Agustín Valverde