Login / Signup
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