DENOC
: Non-Canonical Automated Deduction
A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
2003
Albert Atserias,
María Luisa Bonet,
& Jordi Levy
(2003).
On Chvátal Rank and Cutting Planes Proofs.
Electronic Colloquium on Computational Complexity, 41, 12.
[BibTeX]
[PDF]
2001
Edgar Altamirano,
& Gonzalo Escalada-Imaz
(2001).
Extending polinomiality to a class of non-clausal many-valued Horn-like formulas.
Salem Benferhat, & Philippe Besnard (Eds.),
Lecture notes in artificial intelligence
(pp. 792-804).
Springer.
[BibTeX]
