Sciweavers

7262 search results - page 107 / 1453
» Reversible Computer Hardware
Sort
View
SAT
2007
Springer
68views Hardware» more  SAT 2007»
15 years 10 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
FPL
2005
Springer
79views Hardware» more  FPL 2005»
15 years 10 months ago
PGR: A Software Package for Reconfigurable Super-Computing
Tsuyoshi Hamada, Naohito Nakasato