An efficient algorithm for a task allocation problem
Journal of the ACM (JACM)
Discrete Applied Mathematics
A linearization framework for unconstrained quadratic (0-1) problems
Discrete Applied Mathematics
A novel SAT-based approach to the task graph cost-optimal scheduling problem
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Operations Research Letters
Hi-index | 0.00 |