Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics

DOI10.1007/978-3-319-23264-5_6zbMath1467.68158OpenAlexW2209258137MaRDI QIDQ3449191

Benjamin Andres, Javier Romero, Christian Haubelt, Alexander Biewer, Torsten Schaub

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_6

Mathematics Subject Classification ID

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

Related Items (1)

Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring

This page was built for publication: Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics