Sciweavers

6 search results - page 2 / 2
» A sentence reduction using syntax control
Sort
View
89
Voted
JELIA
2004
Springer
15 years 2 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