Stochastic Local Search for Solving Floating-Point Constraints

BOOK-CHAPTER

Year: 2019 Lecture notes in computer science Pages: 76-84 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-030-28423-7_5

Keywords:

Computer science Point (geometry) Mathematical optimization Algorithm Mathematics

Metrics

Cited By

0.85

FWCI (Field Weighted Citation Impact)

Refs

0.72

Citation Normalized Percentile

Is in top 1%

Is in top 10%

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