Sciweavers

5506 search results - page 16 / 1102
» Minimal Logic Programs
Sort
View
102
Voted
WCE
2007
15 years 1 months ago
Cost Effective Implementation of Asynchronous Two-Level Logic
- We proposed the cost effective (in sense of gate number) asynchronous two-level logic. It is based on AND-OR implementation of minimized logic functions. We formulated and proved...
Igor Lemberski
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
15 years 5 months ago
OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic
The optimal state minimization problem is to select a reduced state machine having the best logic implementation over all possible state reductions and encodings. A recent algorit...
Robert M. Fuhrer, Steven M. Nowick
108
Voted
IOR
2007
106views more  IOR 2007»
15 years 19 days ago
Planning and Scheduling by Logic-Based Benders Decomposition
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...
John N. Hooker
93
Voted
POPL
2011
ACM
14 years 3 months ago
Learning minimal abstractions
Percy Liang, Omer Tripp, Mayur Naik