A CNXT 1-of-1 edition of Journal on Satisfiability Boolean Modeling and Computation, a real Crossref journal registry record (ISSN ISSN 1875-5011). Identity is verbatim from the source registry; the web+usd:// address doubles as the edition's settlement rail — reserved until minted.
Open on CNXT