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 |
Visitas
46
actualizado el 06-jul-2024
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.