scientific article; zbMATH DE number 2080548

MaRDI QIDQ4473377zbMATH OpenFDO

Authors Evgueni S. Petrov

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1909/19090180.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Recommendations

• Levels of concurrency in constraint satisfaction problems with subdefinite objects
• An interval library: The experience of integration of logic and constraint programming
• scientific article; zbMATH DE number 1368927
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Logic programs with stable model semantics as a constraint programming paradigm

Cited in

(3)

• An interval library: The experience of integration of logic and constraint programming
• A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
• scientific article; zbMATH DE number 1822452 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473377)