Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
36
views
21
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,358
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Scaling Enumerative Program Synthesis via Divide and Conquer
other
Author(s):
Rajeev Alur
,
Arjun Radhakrishna
,
Abhishek Udupa
Publication date
(Online):
March 31 2017
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Concepts, Benchmarks & Synthesis
Most cited references
21
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Automating string processing in spreadsheets using input-output examples
Sumit Gulwani
(2011)
0
comments
Cited
46
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Combinatorial sketching for finite programs
Armando Solar-Lezama
,
Liviu Tancau
,
Rastislav Bodik
…
(2006)
0
comments
Cited
46
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Syntax-guided synthesis
Mukund Raghothaman
,
Sanjit Seshia
,
Abhishek Udupa
…
(2013)
0
comments
Cited
44
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
March 31 2017
Pages
: 319-336
DOI:
10.1007/978-3-662-54577-5_18
SO-VID:
6ad9c253-0cd4-4e57-9659-a8ed087ea6f5
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 535
Up-To Techniques for Weighted Systems
pp. 319
Scaling Enumerative Program Synthesis via Divide and Conquer
pp. 354
Encodings of Bounded Synthesis
pp. 426
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
Similar content
3,358
Divide and conquer: feasibility and Impact of antimicrobial stewardship in a safety-net community hospital after a syndrome-based education initiative for pharmacists
Authors:
AJ Mena Lora
,
E Li
,
M Ali
Traits that allow bats of tropical lowland origin to conquer mountains: Bat assemblages along elevational gradients in the South American Atlantic Forest
Authors:
William de Carvalho
,
Mayara A Martins
,
Carlos E. L. Esbérard
…
The World Health Report 1997--conquering suffering, enriching humanity.
Authors:
See all similar
Cited by
8
Bayesian Models of Conceptual Development: Learning as Building Models of the World
Authors:
Tomer D. Ullman
,
Joshua B. Tenenbaum
Relational Program Synthesis
Authors:
Xinyu Wang
,
Isil Dillig
,
Yuepeng Wang
CVC4SY for SyGuS-COMP 2019
Authors:
Andrew Reynolds
,
Haniel Barbosa
,
Andres Nötzli
…
See all cited by