Displaying results 1 - 10 / 1158
results / page
What publicationinformation is included in the service?
Publication name
Authors
Publication channel
Year

New Lower Bound and Algorithm for Online Geometric Hitting Set Problem

Peer-reviewed
Open access
DOI
10.1007/978-981-95-0215-8_18
De, Minati; Mandal, Ratnadip; Singh, Satyam
Lecture Notes in Computer Science2025

Implicit Hitting Set Algorithms for Constraint Optimization

Open access
Saikko, Paul
Helsingin yliopisto2019

Abstract Cores in Implicit Hitting Set MaxSat Solving

Peer-reviewed
Open access
DOI
10.1007/978-3-030-51825-7_20
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
Lecture Notes in Computer Science2020

Implicit Hitting Set Algorithms for Reasoning Beyond NP

Peer-reviewed
Open access
Saikko, Paul Henrik Alexander; Wallner, Johannes Peter; Järvisalo, Matti Juhani
International Conference on Principles of Knowledge Representation and Reasoning2016

Unifying Core-Guided and Implicit Hitting Set based Optimization

Peer-reviewed
Open access
DOI
10.24963/ijcai.2023/215
Ihalainen, Hannes Edvard; Berg, Jeremias; Järvisalo, Matti
International Joint Conference on Artificial Intelligence2023

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)

Open access
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
IJCAI International Joint Conference on Artificial Intelligence2021

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization

Peer-reviewed
Open access
DOI
10.4230/LIPIcs.SAT.2022.13
Smirnov, Pavel; Berg, Jeremias; Järvisalo, Matti
LIPIcs2022

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

Peer-reviewed
Open access
DOI
10.4230/LIPIcs.CP.2021.44
Niskanen, Andreas; Berg, Jeremias; Järvisalo, Matti
LIPIcs-Leibniz International Proceedings in Informatics2021

Pseudo-Boolean Optimization by Implicit Hitting Sets

Peer-reviewed
Open access
DOI
10.4230/LIPIcs.CP.2021.51
Smirnov, Pavel; Berg, Jeremias; Järvisalo, Matti
LIPIcs-Leibniz International Proceedings in Informatics2021

Hitting Probabilities of the Random Covering Sets

Peer-reviewed
DOI
10.1090/conm/601/11934
Li, Bing; Shieh, Narn-Rueih; Xiao, Yimin
Contemporary mathematics2013

New Lower Bound and Algorithm for Online Geometric Hitting Set Problem

Peer-reviewed
Open access
DOI
10.1007/978-981-95-0215-8_18
2025

Implicit Hitting Set Algorithms for Constraint Optimization

Open access
2019

Abstract Cores in Implicit Hitting Set MaxSat Solving

Peer-reviewed
Open access
DOI
10.1007/978-3-030-51825-7_20
2020

Implicit Hitting Set Algorithms for Reasoning Beyond NP

Peer-reviewed
Open access
2016

Unifying Core-Guided and Implicit Hitting Set based Optimization

Peer-reviewed
Open access
DOI
10.24963/ijcai.2023/215
2023

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)

Open access
2021

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization

Peer-reviewed
Open access
DOI
10.4230/LIPIcs.SAT.2022.13
2022

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

Peer-reviewed
Open access
DOI
10.4230/LIPIcs.CP.2021.44
2021

Pseudo-Boolean Optimization by Implicit Hitting Sets

Peer-reviewed
Open access
DOI
10.4230/LIPIcs.CP.2021.51
2021

Hitting Probabilities of the Random Covering Sets

Peer-reviewed
DOI
10.1090/conm/601/11934
2013