Clause Redundancy and Preprocessing in Maximum Satisfiability

Year of publication

2022

Authors

Ihalainen, Hannes Edvard; Berg, Jeremias; Järvisalo, Matti

Organizations and authors

University of Helsinki

Ihalainen Hannes Edvard

Berg Jeremias

Järvisalo Matti

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Volume

13385

Pages

75-94

ISBN

978-3-031-10768-9

Publication forum

5952

Publication forum level

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

Keywords

[object Object],[object Object],[object Object],[object Object],[object Object]

Publication country

Switzerland

Internationality of the publisher

International

Language

English

International co-publication

Co-publication with a company

DOI

10.1007/978-3-031-10769-6_6

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

Yes