59 search results - page 1 / 12 » Design diagnosis using Boolean satisfiability |
ASPDAC
2004
ACM
13 years 8 months ago
2004
ACM
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
SAT
2007
Springer
13 years 10 months ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
DAC
2006
ACM
14 years 5 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
INDOCRYPT
2003
Springer
13 years 10 months ago
2003
Springer
We develop an improved cost function to be used in simulated annealing followed by hill-climbing to find Boolean functions satisfying multiple desirable criteria such as high nonli...