Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Projects
Activities
Datasets
Research Labs / Equipment
Search by expertise, name or affiliation
Results and analysis of SyGuS-Comp'15
Rajeev Alur
,
Dana Fisman
, Rishabh Singh
, Armando Solar-Lezama
Research output
:
Contribution to journal
›
Conference article
›
peer-review
13
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Results and analysis of SyGuS-Comp'15'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Comp
100%
Syntax-Guided Synthesis (SyGuS)
100%
Synthesis Problem
50%
Grammar
33%
SMT-LIB
33%
Invariant Synthesis
33%
Synthesis Methods
16%
Logical Formula
16%
Computational Problems
16%
Semantic Constraints
16%
Efficient Solvers
16%
Linear Arithmetic
16%
Background Theory
16%
Syntactic Constraints
16%
Computer Science
Synthesis Problem
100%
Syntactics
33%
Computational Problem
33%
Background Theory
33%
Synthesis Technique
33%