undefined

< Back to search results

Abstract Cores in Implicit Hitting Set MaxSat Solving

Year of publication

2020

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 article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Journal/Series

Lecture Notes in Computer Science

Parent publication name

Theory and Applications of Satisfiability Testing – SAT 2020:23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

Conference

Theory and Applications of Satisfiability Testing

Publisher

Springer

Volume

12178

Pages

277-294

ISBN

978-3-030-51824-0

​Publication forum

5952

​Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Identified topic

[object Object]

Publication country

Switzerland

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.1007/978-3-030-51825-7_20

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes