Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz. Processing Online SAT Instances with Waiting Time Constraints and Completion Weights. In Giuseppe Nicosia, Panos M. Pardalos, Giovanni Giuffrida, Renato Umeton, Vincenzo Sciacca, editors, Machine Learning, Optimization, and Data Science - 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers. Volume 11331 of Lecture Notes in Computer Science, pages 418-430, Springer, 2018. [doi]
Abstract is missing.