Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
Year of publication
2021
Authors
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
Organizations and authors
University of Helsinki
Berg Jeremias
Publication type
Publication format
Article
Report
No
Parent publication type
Conference
Article type
Other articleAudience
ScientificPeer-reviewed
Non Peer-ReviewedMINEDU's publication type classification code
B3 Article in conference proceedings (non-peer-reviewed)Publication channel information
Parent publication name
Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021
Pages
4745-4749
ISSN
ISBN
Publication forum
Publication forum level
2
Open access
Open access in the publisher’s service
Yes
Open access of publication channel
Fully open publication channel
Self-archived
Yes
Other information
Fields of science
Computer and information sciences
Identified topic
[object Object]
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes