Flexible Proof Production in an Industrial-Strength SMT Solver.
Haniel BarbosaAndrew ReynoldsGereon KremerHanna LachnittAina NiemetzAndres NötzliAlex OzdemirMathias PreinerArjun ViswanathanScott ViteriYoni ZoharCesare TinelliClark W. BarrettPublished in: IJCAR (2022)
Keyphrases
- industrial strength
- machine learning
- theorem prover
- lightweight
- real time
- text mining
- constraint solving
- production system
- data mining
- knowledge representation
- supply chain
- search algorithm
- support vector
- information retrieval
- product quality
- statistical machine translation
- real world
- manufacturing processes
- distribution networks
- quantified boolean formulas
- neural network