1. Logic - Based methods for optimization: Combining optimization and constraint satisfaction

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع: Linear programming,Mathematical optimization,Logic, symbolic and mathematical

رده :
T
,
57
.
74
,.
H66

2. Logic-based methods for optimization: combining optimization and constraint satisfaction

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical

رده :
T
57
.
74
.
H66
2000