Towards learning quantifier instantiation in SMT

DOI10.4230/LIPICS.SAT.2022.7MaRDI QIDQ6572018zbMATH OpenFDO

Authors Mikoláš Janota, Jelle Piepenbrock, Bartosz Piotrowski

Publication date 12 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.SAT.2022.7

zbMATH Keywords

machine learningsatisfiability modulo theoriesquantifier instantiation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)

Cited in

(3)

• Learning guided automated reasoning: a brief survey
• Machine learning for quantifier selection in cvc5
• Solving hard Mizar problems with instantiation and strategy invention

This page was built for publication: Towards learning quantifier instantiation in SMT

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