Synthesising programs with non-trivial constants (Q6161231): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-023-09664-4
+Normal rank
@@ Property / OpenAlex ID @@
+W4376612696
@@ Property / OpenAlex ID: W4376612696 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample guided inductive synthesis modulo theories
+Normal rank
@@ Property / cites work @@
+Scaling Enumerative Program Synthesis via Divide and Conquer
+Normal rank
@@ Property / cites work @@
+Q5309032
@@ Property / cites work: Q5309032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Program Synthesis for Program Analysis
@@ Property / cites work: Using Program Synthesis for Program Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Component-based synthesis for complex APIs
@@ Property / cites work: Component-based synthesis for complex APIs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Q3863048
@@ Property / cites work: Q3863048 / rank @@
+Normal rank
@@ Property / cites work @@
+On solving quantified bit-vector constraints using invertibility conditions
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided quantifier instantiation for synthesis in SMT
+Normal rank
@@ Property / cites work @@
+Solving quantified linear arithmetic by counterexample-guided instantiation
+Normal rank
@@ Property / cites work @@
+Datatypes with shared selectors
@@ Property / cites work: Datatypes with shared selectors / rank @@
+Normal rank
@@ Property / cites work @@
+An existential fragment of second order logic
@@ Property / cites work: An existential fragment of second order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427902
@@ Property / cites work: Q4427902 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6161231