Retargetable Self-Test Program Generation Using Constraint Logic Programming.

Ulrich Bieker Peter Marwedel

Published in: DAC (1995)

Keyphrases

constraint logic programming
constraint solving
logic programming language
answer set programming
test cases
constraint programming
logic programming
constraint propagation
databases
search algorithm
general purpose
artificial intelligence
relational databases
search space
global constraints
proof theoretic