Simulation of hybrid circuits in constraint logic programming
type: Item
instance of: scholarly article
title: Simulation of hybrid circuits in constraint logic programming
zbMATH Open document ID: 0728.68144
DOI: 10.1016/0898-1221(90)90111-V
author: C. Pradelles-Lasserre
author: L. Zimmer
author: Thomas Graf
author: Pascal Van Hentenryck
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68U07
zbMATH DE Number: 4203797
zbMATH Keywords: hybrid circuits
zbMATH Keywords: constraint logic programming
describes a project that uses: elsA
describes a project that uses: CHIP
MaRDI profile type: Publication
cites work: Solving a cutting-stock problem with the constraint logic programming language CHIP
cites work: CLP\(({\mathfrak R})\) and some electrical engineering problems
cites work: Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
cites work: Constraint propagation with interval labels
cites work: Consistency in networks of relations
published in: Computers & Mathematics with Applications
Recommended article: Q3489527
Recommended article: A Logic Programming Framework for Combinational Circuit Synthesis
Recommended article: Simulating circuit-level simplifications on CNF
Recommended article: Synthesizing Switching Logic Using Constraint Solving
Recommended article: Simulation and Synthesis of Deduction Calculi
Recommended article: Q4763592
Recommended article: On an approach to logical simulation bidirectional circuits
description: scientific article; zbMATH DE number 4203797