Encoding Conformance Checking Artefacts in SAT.
Mathilde BoltenhagenThomas ChatainJosep CarmonaPublished in: Business Process Management Workshops (2019)
Keyphrases
- pseudo boolean constraints
- sat encodings
- satisfiability problem
- sat problem
- fractal image compression
- logic programming
- weighted model counting
- sat solvers
- search algorithm
- sat solving
- phase transition
- variable length
- encoding scheme
- boolean satisfiability
- knowledge base
- image compression
- model counting
- pseudo boolean
- web services
- graph coloring
- sat instances
- data sets
- evolutionary algorithm
- np complete