Login / Signup
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data.
Hadrien Bride
Olga Kouchnarenko
Fabien Peureux
Published in:
Ershov Memorial Conference (2015)
Keyphrases
</>
data sources
constraint solving
data sets
data analysis
data collection
database
data structure
linear programming
constraint logic programming
image sequences
training data
dynamic programming
data points
programming language
data mining techniques