Preface to the Special Issue on Constraint Solving and Theorem Proving.
Shaowei CaiZhenbang ChenJi WangBohua ZhanYongwang ZhaoPublished in: Int. J. Softw. Informatics (2023)
Keyphrases
- constraint solving
- special issue
- theorem proving
- constraint logic programming
- constraint propagation
- constraint satisfaction
- constraint satisfaction problems
- first order logic
- ecml pkdd
- ai edam
- term rewriting
- automated reasoning
- constraint solver
- parallel search
- inference rules
- automated deduction
- theorem prover
- decision procedures
- international journal
- automated theorem proving
- proof procedure
- proof planning
- constraint programming
- consequence finding
- applied intelligence
- geometry theorem proving
- np hard
- metaheuristic