A Constraint Solving Problem Towards Unified Combinatorial Interaction Testing.

Hanefi Mercan Cemal Yilmaz

Published in: CSTVA@ISSTA (2016)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
human computer interaction
constraint solver
constraint programming
user interaction
path planning
human robot interaction
finite domain