Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances

Communications in computer and information science 2026

View at publisher
Authors: Victor Kondratiev, Irina Gribanova, Alexander Semenov
DOI: 10.1007/978-3-032-22051-6_15
Cited by: 1
References: 36

Fields of Study & Subjects

Cryptographic Implementations and Security Security and Verification in Computing Physical Unclonable Functions (PUFs) and Hardware Security

Publication details

Journal / source
Communications in computer and information science
Publisher
Springer Nature Switzerland
Pages
280–295
Publication date
1 January 2026
Language
EN