224 search results - page 5 / 45 » Algorithms for Solving Boolean Satisfiability in Combination... |
FPL
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
Abstract-- Routing for high-speed boards is largely a timeconsuming manual task today. In this work we consider the ordered escape routing problem which is a key problem in boardle...
AI
2008
Springer
14 years 11 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
VLSID
2007
IEEE
15 years 12 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
87
Voted
DFT
2005
IEEE
15 years 5 months ago
2005
IEEE
Fabricating large memory and processor arrays is subject to physical failures resulting in yield degradation. The strategy of incorporating spare rows and columns to obtain reason...