Clustering-Guided SMT(\mathcal {L\!R\!A}) Learning

DOI10.1007/978-3-030-63461-2_3MaRDI QIDQ6487927zbMATH OpenFDO

Authors Daniel Große, Rolf Drechsler

Publication date 21 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-63461-2_3

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)

Recommendations

• Learning Modulo Theories
• Model learning as a satisfiability modulo theories problem
• ENIGMA: efficient learning-based inference guiding machine
• A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement

Cited in

(1)

• Structured learning modulo theories

This page was built for publication: Clustering-Guided SMT($$\mathcal {L\!R\!A}$$) Learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487927)