Weaving True-Concurrent Aspects Using Constraint Solvers.

Juliana Küster Filipe Bowles Behzad Bordbar Mohammed Alwanain

Published in: ACSD (2016)

Keyphrases

constraint solvers
constraint programming
constraint solving
constraint satisfaction problems
constraint satisfaction
neural network
computational complexity
logic programs
constraint propagation