Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.

Enrico Lipparini Stefan Ratschan

Published in: CoRR (2023)

Keyphrases

search algorithm
search space
search strategies
search efficiency
symmetry breaking
search methods
search strategy
search tools
np complete