Learning Modulo Theories

DOI10.1007/978-3-319-50137-6_6zbMath1461.68193OpenAlexW2557500963MaRDI QIDQ4988864

Andrea Passerini

Publication date: 20 May 2021

Published in: Data Mining and Constraint Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Learning Modulo Theories