AP
CNF
CNFs
CSP
Dimitrova
Feng
Georgieva
Lieberherr
Milena
SDG
Typ
XML
Zhou
ccs.neu.edu
deatils
lieber,fengzhou
llncs
payout
rquirements
s
t,p