Výsledky vyhľadávania - "Logic AND constraint programming General Terms Algorithms*"

Dependency Management for the Eclipse Ecosystem: Eclipse p2, Metadata and Resolution

Autori: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cril.univ-artois.fr/spip/publications/iwoce907-leberre.pdf.

Predmety: Categories and Subject Descriptors D.2.7 [ Distribution, Maintenance, and Enhancement, Extensibility, D.2.13 [Reusable Software, Reusable li- braries, F.4.1 [Mathematical Logic, Logic and constraint programming General Terms Algorithms, Design, Experimentation Keywords OSGi

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.660

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.660
http://www.cril.univ-artois.fr/spip/publications/iwoce907-leberre.pdf

Constraint Satisfaction Problems Solvable by Local Consistency Methods.

Autori: BARTO, LIBOR KOZIK, MARCIN

Zdroj: Journal of the ACM; Jan2014, Vol. 61 Issue 1, p3-19, 19p

Predmety: THEORY of constraints, SATISFACTION, ALGORITHMS, LOGICAL prediction, INDUCTION (Logic)

Process Discovery under Precedence Constraints.

Autori: GRECO, GIANLUIGI GUZZO, ANTONELLA LUPIA, FRANCESCO a ďalší

Zdroj: ACM Transactions on Knowledge Discovery from Data; Jun2015, Vol. 9 Issue 4, p32:1-32:39, 39p

Predmety: COMPUTATIONAL complexity, SYSTEMS theory, INFORMATION processing, ACQUISITION of data, ALGORITHMS

Constraint Propagation for First-Order Logic and Inductive Definitions.

Autori: WITTOCX, JOHAN DENECKER, MARC BRUYNOOGHE, MAURICE

Zdroj: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-45, 45p

Predmety: CONSTRAINT satisfaction, FIRST-order logic, ALGORITHMS, POLYNOMIALS, APPLICATION software, MATHEMATICAL models, QUERY (Information retrieval system)

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data.

Autori: YORKE-SMITH, NEIL GERVET, CARMEN

Zdroj: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs

Predmety: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks