CLP( R) and some electrical engineering problems

DOI10.1007/BF00245462MaRDI QIDQ688564zbMATH OpenOpenAlexFDO

Authors Nevin Heintze, Spiro Michaylov, Peter J. Stuckey

Publication date 20 December 1993

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00245462

Mathematics Subject Classification ID

Logic programming (68N17) Analytic circuit theory (94C05)

Cites work

• A constraint language and its interpreter
• scientific article; zbMATH DE number 3858920 (Why is no real title available?)
• scientific article; zbMATH DE number 4047089 (Why is no real title available?)

Cited in

(2)

• Constraint reasoning based on interval arithmetic: The tolerance propagation approach
• Simulation of hybrid circuits in constraint logic programming

Describes a project that uses

Uses Software

• REDUCE
• STAPL
• MACSYMA
• CHIP

This page was built for publication: CLP\(({\mathfrak R})\) and some electrical engineering problems

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