TY - GEN
AU - WOLFMAN, STEVEN A.
AU - WELD, DANIEL S.
TI - Combining linear programming and satisfiability solving for resource planning
PB - Cambridge University Press (CUP)
SN - 0269-8889
SN - 1469-8005
KW - Artificial Intelligence
KW - Software
PY - 2001
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation