C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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