Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/49660
Título: Adder model for mixed integer linear programming
Autores/as: Navarro Botello,Héctor 
Nooshabadi, S.
Montiel-Nelson, J. A. 
Clasificación UNESCO: 3307 Tecnología electrónica
Palabras clave: adders
Boolean algebra
digital arithmetic
integer programming
Linear programming, et al.
Fecha de publicación: 2009
Editor/a: 0013-5194
Publicación seriada: Electronics letters 
Resumen: Satisfiability problems (SAT) for register transfer level designs combine arithmetic blocks with Boolean logic to form a mixed integer linear programming (MILP) environment. The classic model of the two-input n-bit adder for MILP is straightforward. However, proposed is a more efficient method using a new set of inequalities that describes its integer hull polyhedron. This special model reduces the number of branches needed to solve the whole integer problem, optimising the overall efficiency of the SAT solver. Experimental results show a CPU time reduction greater than one order of magnitude or higher, depending on the size of the problem.
URI: http://hdl.handle.net/10553/49660
ISSN: 0013-5194
DOI: 10.1049/el.2009.3637
Fuente: Electronics Letters[ISSN 0013-5194],v. 45, p. 348-349
Colección:Artículos
Vista completa

Google ScholarTM

Verifica

Altmetric


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.