Titlebook: New Trends in Constraints; Joint ERCIM/Compulog Krzysztof R. Apt,Eric Monfroy,Francesca Rossi Conference proceedings 2000 Springer-Verlag B

Agoraphobia

书目名称New Trends in Constraints影响因子(影响力)




书目名称New Trends in Constraints影响因子(影响力)学科排名




书目名称New Trends in Constraints网络公开度




书目名称New Trends in Constraints网络公开度学科排名




书目名称New Trends in Constraints被引频次




书目名称New Trends in Constraints被引频次学科排名




书目名称New Trends in Constraints年度引用




书目名称New Trends in Constraints年度引用学科排名




书目名称New Trends in Constraints读者反馈




书目名称New Trends in Constraints读者反馈学科排名

原始

Interval Constraints: Results and Perspectivessed to compute inner approximations of real relations and to solve constraints with quantified variables are briefly presented, and directions for extending interval constraint techniques to solve these problems are pointed out.

BOAST

NUL

Generating Propagation Rules for Finite Domains: A Mixed Approach using a unification algorithm to compute most general solutions of constraints. In this paper, we propose a mixed approach for designing finite domain constraints solvers: it consists in using a solver based on unification to improve the generation of propagation rules.

Harness

Combining Constraint Logic Programming Techniques for Solving Linear Problemshe aforementioned domain splitting mechanism, while the latter is a Simplex-Like solver named CLP(Q). Each counterpart submits some services to the other in order that the coherent system improves the search efficiency and tackles their individual main defects.

heart-murmur

Quantitative Observables and Averages in Probabilistic Constraint Programmings of algorithms..We base our model on the Concurrent Constraint Programming (CCP) paradigm and we argue that it can be an appropriate base for further developments oriented to the analysis and verification of average properties.

矛盾

肉体

繁荣中国

Constraint (Logic) Programming: A Survey on Research and Applicationswhich describe some relationship between the problem’s variables. This survey paper gives a brief introduction to C(L)P, presents a (necessarily partial) state of the art in CLP research and applications, points out some promising directions for future applications, and discusses how to cope with current research challenges.

Myocyte

Some Remarks on Boolean Constraint Propagation of resolution for propositional logic..Subsequently we characterize one set of such rules by means of the notion of hyper-arc consistency introduced in Mohr & Masini (1988). Also, we clarify the status of a similar, though different, set of rules introduced in Simonis (1989) and more fully in Codognet & Diaz (1996).