CLP( R) and some electrical engineering problems

DOI10.1007/BF00245462zbMATH Open0800.68293OpenAlexW2008533943MaRDI QIDQ688564FDOQ688564

Peter J. Stuckey, Nevin Heintze, Spiro Michaylov

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• A constraint language and its interpreter

Cited In (2)

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

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)