BOOK-CHAPTER

Stochastic Local Search for Solving Floating-Point Constraints

Shaobo HeMarek BaranowskiZvonimir Rakamarić

Year: 2019 Lecture notes in computer science Pages: 76-84   Publisher: Springer Science+Business Media
Keywords:
Computer science Point (geometry) Mathematical optimization Algorithm Mathematics

Metrics

2
Cited By
0.85
FWCI (Field Weighted Citation Impact)
12
Refs
0.72
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Optimization and Search Problems
Physical Sciences →  Computer Science →  Computer Networks and Communications
Scheduling and Optimization Algorithms
Physical Sciences →  Engineering →  Industrial and Manufacturing Engineering
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

BOOK-CHAPTER

Solving Constraints over Floating-Point Numbers

C. MichelMichel RueherYahia Lebbah

Lecture notes in computer science Year: 2001 Pages: 524-538
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
JOURNAL ARTICLE

Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations

Merav AharoniRon MaharikAbraham Ziv

Journal:   Proceedings/Proceedings - Symposium on Computer Arithmetic Year: 2007 Pages: 38-45
© 2026 ScienceGate Book Chapters — All rights reserved.