A constraint satisfaction approach to a circuit design problem

DOI10.1023/A:1008236911603zbMath0914.90241OpenAlexW1867321338MaRDI QIDQ1265185

Pascal Van Hentenryck, Jean-François Puget

Publication date: 8 November 1998

Published in: Journal of Global Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008236911603

zbMATH Keywords

interval methodsconstraint satisfactionbranch-and-prune algorithmelectrical circuitcircuit-designglobal zero searchtransistor modelling

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Nonlinear programming (90C30) Numerical computation of solutions to systems of equations (65H10)

Related Items

Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems ⋮ A rigorous global filtering algorithm for quadratic constraints ⋮ Accelerating filtering techniques for numeric CSPs