undefined

< Back to search results

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

Year of publication

2022

Authors

Smirnov, Pavel; Berg, Jeremias; Järvisalo, Matti

Organizations and authors

University of Helsinki

Berg Jeremias

Järvisalo Matti

Smirnov Pavel

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

LIPIcs

Parent publication name

25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel

Conference

International Conference on Theory and Applications of Satisfiability Testing

Publisher

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Volume

236

Pages

13:1-13:18

ISBN

978-3-95977-242-6

​Publication forum

9371

​Publication forum level

0

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Fully open publication channel

License of the publisher’s version

CC BY

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.SAT.2022.13

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

Yes