机译:使用部分加权maxSAT建模和求解人员调度
Vienna Univ Technol, Database & Artificial Intelligence Grp, Vienna, Austria;
Vienna Univ Technol, Database & Artificial Intelligence Grp, Vienna, Austria;
Vienna Univ Technol, Database & Artificial Intelligence Grp, Vienna, Austria;
Employee scheduling; maxSAT; SAT encodings; Cardinality constraints;
机译:用加权部分MaxSAT建模与求解加权局势的调度
机译:NUDIST:(加权)部分MaxSAT的有效本地搜索算法
机译:WPM3:加权部分MaxSAT的(不完整)算法
机译:通过动态本地搜索解决(加权)部分MaxSAT对SAT
机译:使用最大加权独立集的概念解决过程规划和调度问题
机译:使用部分加权maxSAT建模和求解人员调度
机译:通过可满足性测试求解(加权)部分maxsaT