Performance heuristics for GR(1) synthesis and related algorithms.

Elizabeth Firman Shahar Maoz Jan Oliver Ringert

Published in: Acta Informatica (2020)

Keyphrases

related algorithms
search algorithm
heuristic search
genetic algorithm
program synthesis
genetic programming
heuristic methods
greedy heuristics
database
greedy heuristic
heuristic rules
texture synthesis
search strategies
metaheuristic
website
learning algorithm
data mining