Solving satisfiability in less than \(2^ n\) steps
From MaRDI portal
Publication:1082830
DOI10.1016/0166-218X(85)90050-2zbMATH Open0603.68092MaRDI QIDQ1082830
Author name not available (Why is that?)
Publication date: 1985
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Solving satisfiability in less than \(2^ n\) steps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082830)
