A constraint satisfaction approach to a circuit design problem
From MaRDI portal
Publication:1265185
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
interval methodsconstraint satisfactionbranch-and-prune algorithmelectrical circuitcircuit-designglobal zero searchtransistor modelling
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