Gate-level timing verification using waveform narrowing
EURO-DAC '94 Proceedings of the conference on European design automation
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An algorithm for goal-driven simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Analytic constraint solving and interval arithmetic
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints
Value Constraints in the CLP Scheme
Constraints
Reasoning about Solids Using Constraint Logic Programming
Journal of Automated Reasoning
A Constraint Satisfaction Approach to a Circuit Design Problem
Journal of Global Optimization
Progress in the Solving of a Circuit Design Problem
Journal of Global Optimization
Evaluating Elementary Functions with Guaranteed Precision
Programming and Computing Software
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Note on Partial Consistencies over Continuous Domains
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Constraint Propagation: Between Abstract Models and ad hoc Strategies
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
CLP-based Multifrequency Test Generation for Analog Circuits
VTS '97 Proceedings of the 15th IEEE VLSI Test Symposium
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A class of polynomially solvable range constraints for interval analysis without widenings
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Constraint based automatic construction and manipulation of geometric figures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The use of the cooperative solver SibCalc in modeling of complex problems
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Constraint propagation on quadratic constraints
Constraints
Hi-index | 0.02 |