Dangos 1 - 2 canlyniadau o 2 ar gyfer chwilio '"Logic and constraint programming."', amser ymholiad: 0.04e Mireinio'r Canlyniadau
  1. 1

    Disjunctive datalog. gan Eiter, Thomas

    Erthygl

    Disjunctive datalog.
  2. 2

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    On sufficient conditions for unsatisfiability of random formulas.

Offerynnau Chwilio: