Integration and Optimization of Rule-Based Constraint Solvers

Slim Abdennadher, Thom W. Frühwirth. Integration and Optimization of Rule-Based Constraint Solvers. In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Volume 3018 of Lecture Notes in Computer Science, pages 198-213, Springer, 2003. [doi]

Authors

Slim Abdennadher

This author has not been identified. Look up 'Slim Abdennadher' in Google

Thom W. Frühwirth

This author has not been identified. Look up 'Thom W. Frühwirth' in Google