Abstract
In online scheduling, jobs arrive over time and information about future jobs is typically unknown. In this paper, we consider online scheduling problems where an unknown and independent set of Satisfiability (SAT) problem instances are released at different points in time for processing. We assume an existing problem where instances can remain unsolved and must start execution before a waiting time constraint is met. We also extend the problem by including instance weights and used an existing approach that combines the use of machine learning, interruption heuristics, and an extension of a Mixed Integer Programming (MIP) model to maximize the total weighted number of solved instances that satisfy the waiting time constraints. Experimental results over an extensive set of SAT instances show an improvement of up to 22.3\(\times \) with respect to generic ordering policies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Anderson, E.J., Potts, C.N.: Online scheduling of a single machine to minimize total weighted completion time. Math. Oper. Res. 29(3), 686–697 (2004)
Angione, C., Occhipinti, A., Nicosia, G.: Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions. ACM J. Exp. Algorithmics (JEA) 19, 1–4 (2014)
Cutello, V., Nicosia, G.: A clonal selection algorithm for coloring, hitting set and satisfiability problems. In: Apolloni, B., Marinaro, M., Nicosia, G., Tagliaferri, R. (eds.) NAIS/WIRN -2005. LNCS, vol. 3931, pp. 324–337. Springer, Heidelberg (2006). https://doi.org/10.1007/11731177_39
Duque, R., Arbelaez, A., Díaz, J.F.: Off-line and on-line scheduling of SAT instances with time processing constraints. In: Solano, A., Ordoñez, H. (eds.) CCC 2017. CCIS, vol. 735, pp. 524–539. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66562-7_38
Duque, R., Arbelaez, A., Díaz, J.F.: Online over time processing of combinatorial problems. Constraints 23(3), 1–25 (2018)
Graham, R.L., Lawler, E.L., Lenstra, J.K., Kan, A.R.: Optimization and approximation in deterministic sequencing and scheduling: a survey. Ann. Discrete Math. 5, 287–326 (1979)
Grossman, R.L.: The case for cloud computing. IT Prof. 11(2), 23–27 (2009)
Hutter, F., Xu, L., Hoos, H.H., Leyton-Brown, K.: Algorithm runtime prediction: Methods & evaluation. Artif. Intell. 206, 79–111 (2014)
Nicosia, G., Conca, P.: Characterization of the \(\#k\)–SAT problem in terms of connected components. In: Pardalos, P., Pavone, M., Farinella, G.M., Cutello, V. (eds.) MOD 2015. LNCS, vol. 9432, pp. 257–268. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-27926-8_23
Pinedo, M.L.: Scheduling: Theory, Algorithms, and Systems, 5th edn. Springer International Publishing, New York City (2016)
Terekhov, D., Tran, T.T., Down, D.G., Beck, J.C.: Integrating queueing theory and scheduling for dynamic scheduling problems. J. Artif. Intell. Res. 50, 535–572 (2014)
Thain, D., Tannenbaum, T., Livny, M.: Distributed computing in practice: the condor experience. Concur.- Pract. Exp. 17(2–4), 323–356 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Duque, R., Arbelaez, A., Díaz, J.F. (2019). Processing Online SAT Instances with Waiting Time Constraints and Completion Weights. In: Nicosia, G., Pardalos, P., Giuffrida, G., Umeton, R., Sciacca, V. (eds) Machine Learning, Optimization, and Data Science. LOD 2018. Lecture Notes in Computer Science(), vol 11331. Springer, Cham. https://doi.org/10.1007/978-3-030-13709-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-030-13709-0_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13708-3
Online ISBN: 978-3-030-13709-0
eBook Packages: Computer ScienceComputer Science (R0)