Satisfiability Modulo Custom Theories in Z3.
Nikolaj S. BjørnerClemens EisenhoferLaura KovácsPublished in: VMCAI (2023)
Keyphrases
- propositional theories
- domain specific
- satisfiability problem
- np complete
- propositional logic
- search algorithm
- computational complexity
- computational problems
- phase transition
- decision procedures
- randomly generated
- sat problem
- computational properties
- satisfiability testing
- artificial intelligence
- legal knowledge
- computational models
- orders of magnitude
- relational databases
- decision making
- search engine