Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
Enrico LippariniStefan RatschanPublished in: NFM (2023)
Keyphrases
- search algorithm
- search space
- search strategy
- data sets
- stochastic local search
- search efficiency
- propositional logic
- satisfiability problem
- phase transition
- search strategies
- constraint programming
- constraint satisfaction problems
- np complete
- database
- solution space
- user queries
- search queries
- search engine
- search heuristics
- symmetry breaking