( en | de | ru )

 

Disambiguation of "Frühwirth, Thom W."

Author of the publication

copydeleteadd this publication to your clipboard
Soft constraint propagation and solving in CHRs.

, , and . SAC, page 1-5. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Frühwirth

Sebastian Frühwirth

Erika Thom

Madlen Thom

Bodo Thom

 

Other publications of authors with the same name

Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers., and . JFPLC, page 257-. (2002)Analysing the CHR Implementation of Union-Find., and . W(C)LP, volume 2005-01 of Ulmer Informatik-Berichte, page 135-146. Universität Ulm, Germany, (2005)Annotated Constraint Logic Programming Applied to Temporal Reasoning.. PLILP, volume 844 of Lecture Notes in Computer Science, page 230-243. Springer, (1994)Temporal Logic and Annotated Constraint Logic Programming.. Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Computer Science, page 58-68. Springer, (1993)Operational Equivalence of CHR Programs and Constraints., and . CP, volume 1713 of Lecture Notes in Computer Science, page 43-57. Springer, (1999)On Completion of Constraint Handling Rules., and . CP, volume 1520 of Lecture Notes in Computer Science, page 25-39. Springer, (1998)Integration and Optimization of Rule-Based Constraint Solvers., and . LOPSTR, volume 3018 of Lecture Notes in Computer Science, page 198-213. Springer, (2003)Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules., and . WLP, volume 90 of GMD Report, page 15. (2000)Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems., and . ICLP, page 606. MIT Press, (1999)A devil's advocate against termination of direct recursion.. PPDP, page 103-113. ACM, (2015)