Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II > Local Search with a SAT Oracle for Combinatorial Optimization
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II |
Alexander Gelbukh
Springer International Publishing
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II
Local Search with a SAT Oracle for Combinatorial Optimization
Authors

Aviad Cohen; Alexander Nadel; Vadim Ryvchin

ARI Id

1665147380242_5034792

Access

Not Available Free

Pages

87-104

DOI

10.1007/978-3-030-72013-1_5

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-72013-1_5

Table of Contents of Book
Showing 1 to 20 of 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xxi
Front Matter
1-1
Directed Reachability for Infinite-State Systems
Michael Blondin; Christoph Haase; Philip Offtermatt
3-23
Bridging Arrays and ADTs in Recursive Proofs
Grigory Fedyukovich; Gidon Ernst
24-42
A Two-Phase Approach for Conditional Floating-Point Verification
Debasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis
43-63
Symbolic Coloured SCC Decomposition
Nikola Beneš; Luboš Brim; Samuel Pastva; David Šafránek
64-83
Front Matter
85-85
Local Search with a SAT Oracle for Combinatorial Optimization
Aviad Cohen; Alexander Nadel; Vadim Ryvchin
87-104
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
Julien Lepiller; Ruzica Piskac; Martin Schäf; Mark Santolucito
105-123
Front Matter
125-125
Certifying Proofs in the First-Order Theory of Rewriting
Fabian Mitterwallner; Alexander Lochmann; Aart Middeldorp; Bertram Felgenhauer
127-144
Syntax-Guided Quantifier Instantiation
Aina Niemetz; Mathias Preiner; Andrew Reynolds; Clark Barrett; Cesare Tinelli
145-163
Making Theory Reasoning Simpler
Giles Reger; Johannes Schoisswohl; Andrei Voronkov
164-180
Deductive Stability Proofs for Ordinary Differential Equations
Yong Kiam Tan; André Platzer
181-199
Front Matter
201-201
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir; Haoze Wu; Clark Barrett; Guy Katz
203-222
cake_lpr: Verified Propagation Redundancy Checking in CakeML
Yong Kiam Tan; Marijn J. H. Heule; Magnus O. Myreen
223-241
Deductive Verification of Floating-Point Java Programs in KeY
Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt
242-261
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida; Hiromasa Saito; Ran Chen; Akira Kawata; Jun Furuse; Kohei Suenaga et al.
262-280
SyReNN: A Tool for Analyzing Deep Neural Networks
Matthew Sotoudeh; Aditya V. Thakur
281-302
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings