Visas 1 - 2 av 2 resultat för sökning '"Logic and constraint programming."', Sökningstid: 0,02s Förfina resultatet
  1. 1

    Disjunctive datalog. av Eiter, Thomas

    Artikel

    Disjunctive datalog.
  2. 2

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

    I publikationen Journal of the ACM
    Artikel

    On sufficient conditions for unsatisfiability of random formulas.

Sökverktyg: