Polynomial Constraints and Unsat Cores in Tarski.
Fernando Vale-EnriquezChristopher W. BrownPublished in: ICMS (2018)
Keyphrases
- constrained optimization
- higher order
- constraint satisfaction
- data sets
- case study
- sat solvers
- orders of magnitude
- constraint programming
- low order
- real time
- resource constraints
- parallel computing
- global constraints
- operating system
- general purpose
- artificial neural networks
- relational databases
- pairwise
- knowledge base