SPEEDING UP HEURISTIC FUNCTION SYNTHESIS VIA EXTENDING THE FORMULA GRAMMAR

Bibliographische Detailangaben

Veröffentlicht in:	International Symposium on Combinatorial Search (14. : 2021 : Online) 14th International Symposium on Combinatorial Search (SoCS 2021)
1. Verfasser:	Hernandez, Sergio Poo (VerfasserIn)
Weitere Verfasser:	Bulitko, Vadim (VerfasserIn)
Pages:	14
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!