Program synthesis with best-first bottom-up search

DOI10.1613/JAIR.1.14394MaRDI QIDQ6488803

Saqib Ameen, Levi H. S. Lelis

Publication date: 23 October 2023

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

zbMATH Keywords

heuristic search

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Synthesis: Dreams → Programs
• Scaling Enumerative Program Synthesis via Divide and Conquer
• A Methodology for LISP Program Construction from Examples
• Logic program synthesis
• Automating string processing in spreadsheets using input-output examples
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving

This page was built for publication: Program synthesis with best-first bottom-up search