Author of the publication

How to Realize LSE Narrowing.

, , and . ALP, volume 850 of Lecture Notes in Computer Science, page 59-76. Springer, (1994)

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.

 

Other publications of authors with the same name

A Concept for the Implementation of LSE Narrowing., , and . WLP, page 104-107. (1993)Global Consistency in CLP(PB)., and . WLP, page 130-133. Institut für Informatik der Universität Zürich, (1994)F2C2: a fast tool for the computation of flux coupling in genome-scale metabolic networks, , , and . BMC Bioinformatics, (2012)Integer Programs and Valid Inequalities for Planning Problems., and . ECP, volume 1809 of Lecture Notes in Computer Science, page 239-251. Springer, (1999)Algebraic and Logic Aspects of Unification.. IWWERT, volume 572 of Lecture Notes in Computer Science, page 171-180. Springer, (1990)Constraint Programming in Computational Molecular Biology.. EPIA, volume 2902 of Lecture Notes in Computer Science, page 1. Springer, (2003)Logic Programming with Pseudo-Boolean Constraints.. WCLP, page 327-350. MIT Press, (1991)An Optimal Narrowing Strategy for General Canonical Systems., , and . CTRS, volume 656 of Lecture Notes in Computer Science, page 483-497. Springer, (1992)Context Sensitivity in Logical Modeling with Time Delays., and . CMSB, volume 4695 of Lecture Notes in Computer Science, page 64-79. Springer, (2007)Bio-Logics: Logical Analysis of Bioregulatory Networks., and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 19-34. Springer, (2013)