From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights.

A. Niskanen, J. Berg, и M. Järvisalo. CP, том 210 из LIPIcs, стр. 44:1-44:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kurt Jeremias

Gert Jeremias

Günther Jeremias

Jeremias Levy

Johannes Jeremias

Другие публикации лиц с тем же именем

Refined Core Relaxation for Core-Guided MaxSAT Solving.H. Ihalainen, J. Berg, и M. Järvisalo. CP, том 210 из LIPIcs, стр. 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Certified MaxSAT Preprocessing.H. Ihalainen, A. Oertel, Y. Tan, J. Berg, M. Järvisalo, и J. Nordström. CoRR, (2024)Enumerating Potential Maximal Cliques via SAT and ASP.T. Korhonen, J. Berg, и M. Järvisalo. IJCAI, стр. 1116-1122. ijcai.org, (2019)Preprocessing in Incomplete MaxSAT Solving.M. Leivo, J. Berg, и M. Järvisalo. ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 347-354. IOS Press, (2020)Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.C. Jabs, J. Berg, H. Ihalainen, и M. Järvisalo. CP, том 280 из LIPIcs, стр. 18:1-18:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Pseudo-Boolean Optimization by Implicit Hitting Sets.P. Smirnov, J. Berg, и M. Järvisalo. CP, том 210 из LIPIcs, стр. 51:1-51:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Core-Guided and Core-Boosted Search for CP.G. Gange, J. Berg, E. Demirovic, и P. Stuckey. CPAIOR, том 12296 из Lecture Notes in Computer Science, стр. 205-221. Springer, (2020)Abstract Cores in Implicit Hitting Set MaxSat Solving.J. Berg, F. Bacchus, и A. Poole. SAT, том 12178 из Lecture Notes in Computer Science, стр. 277-294. Springer, (2020)Certified Core-Guided MaxSAT Solving.J. Berg, B. Bogaerts, J. Nordström, A. Oertel, и D. Vandesande. CADE, том 14132 из Lecture Notes in Computer Science, стр. 1-22. Springer, (2023)Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.P. Smirnov, J. Berg, и M. Järvisalo. SAT, том 236 из LIPIcs, стр. 13:1-13:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

BibSonomy

Disambiguation