Preprints. Full text and DOI for each on Zenodo.
/Preprint, Zenodo
with the GridSAT Stiftung
10.5281/zenodo.22062716
Karim Daghbouche, Deniz Duman
Deterministic models treat two configurations as different states whenever their encodings differ. This paper makes that choice an explicit parameter instead of a tacit one.
/Preprint, Zenodo
with the GridSAT Stiftung
10.5281/zenodo.22062774
Karim Daghbouche, Deniz Duman
The state-counting framework carried onto a concrete formula family: bounded-width layered 3-CNF from Tseytin encodings of bounded-fanin layered circuits.
/Preprint, Zenodo
with the GridSAT Stiftung
10.5281/zenodo.22063161
Karim Daghbouche, Deniz Duman
An audit schema for exact dynamic-programming arguments, worked through on an Ising instance with a fixed defect budget and on a fixed-cross-section polymer tube.