Sciweavers

Share
1 search results - page 1 / 1
» MajorSat: A SAT solver to majority logic
Sort
View
FMCAD
2006
Springer
10 years 4 months ago
Ario: A Linear Integer Arithmetic Logic Solver
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
Hossein M. Sheini, Karem A. Sakallah
books