Optimized SAT encoding of conformance checking artefacts.

Mathilde Boltenhagen Thomas Chatain Josep Carmona

Published in: Computing (2021)

Keyphrases

sat encodings
sat solvers
pseudo boolean constraints
sat solving
constraint satisfaction problems
graph coloring
domain specific
planning problems