In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures.

Fatemeh Shirinzadeh, Arighna Deb, Saeideh Shirinzadeh, Abhoy Kole, Kamalika Datta, Rolf Drechsler

Browse the full VLSID paper archive.