A mostrar 1 - 2 resultados de 2 para a pesquisa '"Logic and constraint programming."', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1

    Disjunctive datalog. Por Eiter, Thomas

    Artigo

    Disjunctive datalog.
  2. 2

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

    Publicado no Journal of the ACM
    Artigo

    On sufficient conditions for unsatisfiability of random formulas.

Ferramentas de pesquisa: