An Experiment with Satisfiability Modulo SAT
- 期刊名称Journal of Automated Reasoning
- 作者Zhang, Hantao
- 卷第56卷
- 期第2期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小539.97KB
- 发表时间2016-2
- DOI10.1007/s10817-015-9354-0
- 页码143-154
Current Developments in RFID ResearchZhou, Wei; Piramuthu, Selwyn · Journal of Organizational Computing and Electronic Commerce · 2011
RFID-enabled flexible warehousingZhou, Wei; Piramuthu, Selwyn; Chu, Feng; Chu, Chengbin · Decision Support Systems · 2017
Goodwill, inventory penalty, and adaptive supply chain managementDenise Emerson; Wei Zhou; Selwyn Piramuthu · 2009
Consumer preference and service quality management with RFIDZhou, Wei; Piramuthu, Selwyn · Annals of Operations Research · 2014
RFID-enabled item-level retail pricingWei Zhou; Yu-Ju Tu; Selwyn Piramuthu · 2009
Information Relevance Model of Customized Privacy for IoTZhou, Wei; Piramuthu, Selwyn · Journal of Business Ethics · 2015
IoT security perspective of a flexible healthcare supply chainZhou, Wei; Piramuthu, Selwyn · Information Technology and Management · 2017
Identifying RFID-embedded objects in pervasive healthcare applicationsYu-Ju Tu; Wei Zhou; Selwyn Piramuthu · 2009
Continue, quit, restart probability modelSonin, Isaac M.; Steinberg, Constantine · Annals of Operations Research · 2016
Discounting axioms imply risk neutralitySobel, Matthew J. · Annals of Operations Research · 2013
A single interval based classifierKim, Heeyoung; Huo, Xiaoming; Shi, Jianjun · Annals of Operations Research · 2014
Technological externalities and environmental policyPiot-Lepetit, Isabelle · Annals of Operations Research · 2014
A survey of school timetabling researchPillay, Nelishia · Annals of Operations Research · 2014
Scheduling issues in vehicle routingLaporte, Gilbert · Annals of Operations Research · 2016
Advances in data envelopment analysisEmrouznejad, Ali · Annals of Operations Research · 2014
Fairness in academic course timetablingMühlenthaler, Moritz; Wanka, Rolf · Annals of Operations Research · 2016