10 search results - page 2 / 2 » ismvl 2009 |
ISMVL
2009
IEEE
14 years 8 days ago
2009
IEEE
We introduce and investigate the concept of frozen partial co-clones. Our main motivation for studying frozen partial co-clones is that they have important applications in complex...
ISMVL
2009
IEEE
14 years 8 days ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
ISMVL
2009
IEEE
14 years 8 days ago
2009
IEEE
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...
ISMVL
2009
IEEE
14 years 8 days ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
ISMVL
2009
IEEE
14 years 8 days ago
2009
IEEE
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial MaxSAT instances. First, we obtain new direct and (minimal) support en...