Résultat(s) 1 - 2 résultats de 2 pour la requête '"Logic and constraint programming."', Temps de recherche: 0,01s Affiner les résultats
  1. 1

    Disjunctive datalog. par Eiter, Thomas

    Article

    Disjunctive datalog.
  2. 2

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

    Publié dans Journal of the ACM
    Article

    On sufficient conditions for unsatisfiability of random formulas.

Outils de recherche: