460 search results - page 64 / 92 » RTL-Datapath Verification using Integer Linear Programming |
DSS
2006
13 years 8 months ago
2006
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The aggregate capacity of wireless mesh networks can be increased by the use of multiple frequency channels and multiple network interface cards in each router. Recent results ...
IOR
2007
13 years 8 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...