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影響因子(影響力)學(xué)科排名




書目名稱New Trends in Constraints網(wǎng)絡(luò)公開度




書目名稱New Trends in Constraints網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱New Trends in Constraints被引頻次




書目名稱New Trends in Constraints被引頻次學(xué)科排名




書目名稱New Trends in Constraints年度引用




書目名稱New Trends in Constraints年度引用學(xué)科排名




書目名稱New Trends in Constraints讀者反饋




書目名稱New Trends in Constraints讀者反饋學(xué)科排名

原始

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.

矛盾

肉體

繁榮中國(guó)

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).