Integrating Antilemma-Constraints into SLD-Resolution.

Published in: WLP (1993)

Keyphrases

constraint satisfaction
consequence finding
social networks
website
constraint programming
constrained optimization
data sets
data mining
machine learning
computer vision
lower bound
np hard
global constraints
linear constraints