BOOK-CHAPTER
Solving Constraints over Floating-Point Numbers
C. MichelMichel RueherYahia Lebbah
Year: 2001 Lecture notes in computer science Pages: 524-538 Publisher: Springer Science+Business Media
Keywords:
Correctness Floating point Computer science Consistency (knowledge bases) Interval (graph theory) Point (geometry) Algorithm Pruning Interval arithmetic Mathematics Artificial intelligence
Metrics
47
Cited By
2.47
FWCI (Field Weighted Citation Impact)
19
Refs
0.87
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Solving Floating-Point Constraints with Continuous Optimization
Qian ChenChenqi CuiFengjuan GaoYu WangKe WangLinzhang Wang
Journal: Proceedings of the ACM on Programming Languages Year: 2025 Vol: 9 (PLDI)Pages: 725-747
BOOK-CHAPTER
Stochastic Local Search for Solving Floating-Point Constraints
Shaobo HeMarek BaranowskiZvonimir Rakamarić
Lecture notes in computer science Year: 2019 Pages: 76-84
JOURNAL ARTICLE
Solving range constraints for binary floating-point instructions
Avi ZivMerav AharoniSigal Asaf
Year: 2004 Pages: 158-164
BOOK-CHAPTER
Boosting Local Consistency Algorithms over Floating-Point Numbers
Mohammed Said BelaidClaude MichelMichel Rueher
Lecture notes in computer science Year: 2012 Pages: 127-140