Resultados de procura - "Logic and constraint programming."

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1

    On sufficient conditions for unsatisfiability of random formulas. por Atserias, Albert

    Publicado en Journal of the ACM
    Artigo


    Imaxe de Portada
  2. 2

    Disjunctive datalog. por Eiter, Thomas

    Artigo


    Imaxe de Portada

Ferramentas de procura: