clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory.

Published in: CoRR (2024)

Keyphrases

theoretical framework
conceptual framework
real life
main contribution
mathematical framework
learning algorithm
multiscale
neural network
probabilistic model
np complete
computational model
theorem prover