Подписаться
Christoph Jabs
Christoph Jabs
Doctoral Researcher, University of Helsinki
Подтвержден адрес электронной почты в домене helsinki.fi - Главная страница
Название
Процитировано
Процитировано
Год
MaxSAT-based bi-objective boolean optimization
C Jabs, J Berg, A Niskanen, M Järvisalo
25th International Conference on Theory and Applications of Satisfiability …, 2022
82022
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
C Jabs, J Berg, H Ihalainen, M Järvisalo
29th International Conference on Principles and Practice of Constraint …, 2023
42023
A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization
C Jabs
Helsingin yliopisto, 2022
2022
Core Boosting in SAT-Based Multi-Objective Optimization
C Jabs, J Berg, M Järvisalo
BIOPTSAT and MLIC-SEESAW Benchmarks for the Incremental Track of MaxSAT Evaluation 2022
C Jabs, J Berg, A Niskanen, M Järvisalo
MaxSAT Evaluation 2022, 40, 0
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–5