On the efficient synthesis of efficient programs

Artificial Intelligence 20 (3):253-305 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(83)90009-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A synthesis of automated planning and reinforcement learning for efficient, robust decision-making.Matteo Leonetti, Luca Iocchi & Peter Stone - 2016 - Artificial Intelligence 241 (C):103-130.
Efficient exhaustive generation of functional programs using monte-carlo search with iterative deepening.Susumu Katayama - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 199--210.
Efficient learning equilibrium.Ronen I. Brafman & Moshe Tennenholtz - 2004 - Artificial Intelligence 159 (1-2):27-47.
Efficient optimal Kolmogorov approximation of random variables.Liat Cohen, Tal Grinshpoun & Gera Weiss - 2024 - Artificial Intelligence 329 (C):104086.
Efficient graph automorphism by vertex partitioning.Glenn Fowler, Robert Haralick, F. Gail Gray, Charles Feustel & Charles Grinstead - 1983 - Artificial Intelligence 21 (1-2):245-269.
Learning an efficient constructive sampler for graphs.Fabrizio Costa - 2017 - Artificial Intelligence 244 (C):217-238.
Metaqueries: Semantics, complexity, and efficient algorithms.Rachel Ben-Eliyahu-Zohary, Ehud Gudes & Giovambattista Ianni - 2003 - Artificial Intelligence 149 (1):61-87.
Time-efficient state space search.Alexander Reinefeld & Peter Ridinger - 1994 - Artificial Intelligence 71 (2):397-408.
Bayesian auctions with efficient queries.Jing Chen, Bo Li, Yingkai Li & Pinyan Lu - 2022 - Artificial Intelligence 303 (C):103630.
Efficient symbolic search for cost-optimal planning.Álvaro Torralba, Vidal Alcázar, Peter Kissmann & Stefan Edelkamp - 2017 - Artificial Intelligence 242 (C):52-79.

Analytics

Added to PP
2020-12-22

Downloads
1 (#1,722,932)

6 months
1 (#1,912,481)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references