DENOCDENOC

DENOCDENOC

 : 

Non-Canonical Automated DeductionNon-Canonical Automated Deduction

A Project coordinated by IIIA.

Principal investigator:

Gonzalo Escalada-ImazGonzalo Escalada-Imaz

Team members:

      Collaborating organisations:

      Funding entity:

      BFM2000-1054-C02BFM2000-1054-C02

      Funding call:

      Project #:

      DENOCDENOC

      Funding amount:

      0,00€0,00€

      Duration:

      2000-12-192000-12-19

       -

      2003-12-182003-12-18
      2003
      Albert Atserias,  María Luisa Bonet,  & Jordi Levy (2003). On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity. [BibTeX]  [PDF]
      2001
      Edgar Altamirano,  & Gonzalo Escalada-Imaz (2001). Extending polinomiality to a class of non-clausal many-valued Horn-like formulas. Lecture notes in artificial intelligence . [BibTeX]