Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT under Changing Weights
Year of publication
2021
Authors
Niskanen, Andreas; Berg, Jeremias; Järvisalo, Matti
Organizations and authors
Publication type
Publication format
Article
Report
No
Parent publication type
Conference
Article type
Other articleAudience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Journal/Series
Parent publication name
Conference
27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Volume
210
Pages
44:1-44:19
ISSN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
Yes
Open access of publication channel
Fully open publication channel
Self-archived
Yes
License of the self-archived publication
CC BY
Other information
Fields of science
Computer and information sciences
Identified topic
[object Object]
Publication country
Germany
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
DOI
10.4230/LIPIcs.CP.2021.44
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes