The Automatic Detection of Token Structures and Invariants Using SAT Checking.

Pedro R. G. Antonino Thomas Gibson-Robinson A. W. Roscoe

Published in: TACAS (2) (2017)

Keyphrases

automatic detection
automatically detecting
automatic classification
moment invariants
sat solvers
automatic segmentation
boolean satisfiability
small bowel