Exploiting Common Subexpressions in Numerical CSPs
暂无分享,去创建一个
[1] Yahia Lebbah. Contribution a la resolution de contraintes par consistance forte , 1999 .
[2] Gilles Trombettoni,et al. Constructive Interval Disjunction , 2007, CP.
[3] Frédéric Goualard,et al. Revising Hull and Box Consistency , 1999, ICLP.
[4] B. Buchberger,et al. Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .
[5] A. Neumaier. Interval methods for systems of equations , 1990 .
[6] Eric Monfroy,et al. Symbolic-interval cooperation in constraint programming , 2001, ISSAC '01.
[7] N. Bose. Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory , 1995 .
[8] André Heck,et al. Introduction to Maple , 1993 .
[9] Peter J. Stuckey,et al. Improving Linear Constraint Propagation by Changing Constraint Representation , 2003, Constraints.
[10] Christian Bessiere,et al. Some Practicable Filtering Techniques for the Constraint Satisfaction Problem , 1997, IJCAI.
[11] Hermann Schichl,et al. Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.
[12] Steven S. Muchnick,et al. Advanced Compiler Design and Implementation , 1997 .
[13] Hélène Collavizza,et al. Comparing Partial Consistencies , 1998, SCAN.
[14] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[15] Olivier Lhomme,et al. Consistency Techniques for Numeric CSPs , 1993, IJCAI.
[16] Jean-Pierre Merlet. Interval Analysis and Robotics , 2007, ISRR.
[17] Hermann Schichl,et al. Interval Analysis on Directed Acyclic Graphs for Global Optimization , 2005, J. Glob. Optim..
[18] Christian Bessière. Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.
[19] Philippe Flajolet,et al. Analytic Variations on the Common Subexpression Problem , 1990, ICALP.
[20] Martine Ceberio,et al. Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods , 2002, FroCoS.