undefined

< Back to search results

Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers

Year of publication

2021

Authors

Cao, Henrik

Organizations and authors

Aalto University

Cao Henrik Orcid -palvelun logo

Publication type

Publication format

Article

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Parent publication name

Theory and Applications of Satisfiability Testing – SAT 2021 - 24th International Conference, 2021, Proceedings

Conference

International Conference on Theory and Applications of Satisfiability Testing

Publisher

SPRINGER

Volume

12831 LNCS

Pages

82-97

ISSN

0302-9743

ISBN

978-3-030-80222-6

​Publication forum

62555

​Publication forum level

1

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Fields of science

Computer and information sciences

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

DOI

10.1007/978-3-030-80223-3_7

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

Yes