A SAT Solver Using Reconfigurable Hardware and Virtual Logic

Authors
M.Abramovici,"J.T.De Sousa
Citation
M.abramovici,"j.t.de Sousa, A SAT Solver Using Reconfigurable Hardware and Virtual Logic, Journal of automated reasoning , 24(1/2), 2000, pp. 5-36
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
1/2
Year of publication
2000
Pages
5 - 36
Database
ACNP
SICI code