An Efficient, Scalable Hardware Engine for Boolean SATisfiability.

Mandar Waghmode, Kanupriya Gulati, Sunil P. Khatri, Weiping Shi

Browse the full ICCD paper archive.