Zobrazeno 1 - 10
of 12 539
pro vyhledávání: '"Synthesis problems"'
In top-down enumeration for program synthesis, abstraction-based pruning uses an abstract domain to approximate the set of possible values that a partial program, when completed, can output on a given input. If the set does not contain the desired ou
Externí odkaz:
http://arxiv.org/abs/2408.15822
Semantics-Guided Synthesis (SemGuS) provides a framework to specify synthesis problems in a solver-agnostic and domain-agnostic way, by allowing a user to provide both the syntax and semantics of the language in which the desired program should be sy
Externí odkaz:
http://arxiv.org/abs/2408.15475
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yvars, Pierre-Alain1 (AUTHOR) pierre-alain.yvars@isae-supmeca.fr, Zimmer, Laurent2 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Aug2024, Vol. 23 Issue 4, p973-1002. 30p.
Autor:
Pantridge, Edward, Helmuth, Thomas
Contemporary genetic programming (GP) systems for general program synthesis have been primarily concerned with evolving programs that can manipulate values from a standard set of primitive data types and simple indexed data structures. In contrast, h
Externí odkaz:
http://arxiv.org/abs/2306.04839
Autor:
Kjellqvist, Olle, Yu, Jing
System level synthesis is a promising approach that formulates structured optimal controller synthesis problems as convex problems. This work solves the distributed linear-quadratic regulator problem under communication constraints directly in infini
Externí odkaz:
http://arxiv.org/abs/2210.15815
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Zhou, Neng-Fa
Publikováno v:
EPTCS 345, 2021, pp. 165-178
Many constraint satisfaction problems involve synthesizing subgraphs that satisfy certain reachability constraints. This paper presents programs in Picat for four problems selected from the recent LP/CP programming competitions. The programs demonstr
Externí odkaz:
http://arxiv.org/abs/2109.08293
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.