Login / Signup
Najmus Sahar
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Tree Search
Integer Linear Programming Formulation
Model Checking
Support Vector Machine
Top Venues
CASE
</>
Publications
</>
Najmus Sahar
,
Bing Yan
,
Chang Liu
,
Zhuoxin Wang
,
Rui Wang
A Novel Tightened Integer Linear Programming Formulation for Batch Scheduling.
CASE
(2023)