Resultados da busca - "Logic and constraint programming."

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

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

    Publicado no Journal of the ACM
    Artigo


    Imagem da capa
  2. 2

    Disjunctive datalog. por Eiter, Thomas

    Artigo


    Imagem da capa

Ferramentas de busca: