A SAT solver using reconfigurable hardware and virtual logic

DOI10.1023/A:1006310219368zbMath0967.68004OpenAlexW1488176395MaRDI QIDQ1977750

Miron Abramovici, José T. de Sousa

Publication date: 18 May 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006310219368

zbMATH Keywords

SAT solverreconfigurable logicvirtual logic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

This page was built for publication: A SAT solver using reconfigurable hardware and virtual logic