SMTS: Distributed, Visualized Constraint Solving.

Matteo Marescotti Antti E. J. Hyvärinen Natasha Sharygina

Published in: LPAR (2018)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
distributed environment
distributed systems
constraint programming
cooperative
mobile agents
multi agent
peer to peer
computing environments