BOOK-CHAPTER
Boosting Local Consistency Algorithms over Floating-Point Numbers
Mohammed Said BelaidClaude MichelMichel Rueher
Year: 2012 Lecture notes in computer science Pages: 127-140 Publisher: Springer Science+Business Media
Keywords:
Boosting (machine learning) Floating point Computer science Consistency (knowledge bases) Solver Algorithm Integer programming Point (geometry) Integer (computer science) Linear programming Mathematics Artificial intelligence
Metrics
11
Cited By
1.57
FWCI (Field Weighted Citation Impact)
31
Refs
0.78
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
Numerical Methods and Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
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
GENETIC ALGORITHMS, FLOATING POINT NUMBERS AND APPLICATIONS
Yorick HardyWilli-Hans SteebRuedi Stoop
Journal: International Journal of Modern Physics C Year: 2005 Vol: 16 (11)Pages: 1811-1816
JOURNAL ARTICLE
Parallel Algorithms for Summing Floating-Point Numbers
Michael T. GoodrichAhmed Eldawy
Year: 2016 Pages: 13-22