DENOC DENOC

DENOC DENOC

 : 

Non-Canonical Automated Deduction Non-Canonical Automated Deduction

A Project coordinated by IIIA.

Principal investigator:

Gonzalo Escalada-Imaz Gonzalo Escalada-Imaz

Team members:

      Collaborating organisations:

      Funding entity:

      BFM2000-1054-C02 BFM2000-1054-C02

      Funding call:

      Project #:

      DENOC DENOC

      Funding amount:

      0,00€ 0,00€

      Duration:

      2000-12-19 2000-12-19

       -

      2003-12-18 2003-12-18
      2003
      Albert AtseriasMaría Luisa BonetJordi Levy; On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity; 2003.  [PDF]  [BibTeX]
      2001
      Edgar AltamiranoGonzalo Escalada-Imaz; Extending polinomiality to a class of non-clausal many-valued Horn-like formulas. 2001.  [BibTeX]