Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2024
Core Boosting in SAT-Based Multi-objective Optimization
Jabs, C., Berg, J. & Järvisalo, M., 25 toukok. 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (toim.). 1 toim. Cham: Springer, s. 1-19 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14743).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Global Benchmark Database
Iser, M. & Jabs, C., elok. 2024, 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. Chakraborty, S. & Jiang, J.-H. R. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 305).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
2023
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
Jabs, C., Berg, J., Ihalainen, H. E. & Järvisalo, M., 2023, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 18:1-18:20 (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 280).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
2022
MaxSAT-Based Bi-Objective Boolean Optimization
Jabs, C. J., Berg, J., Niskanen, A. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 12:1-12:23 23 Sivumäärä (LIPIcs; Vuosikerta 236).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto