1795 search results - page 130 / 359 » On the Complexity of Circuit Satisfiability |
EH
2004
IEEE
14 years 20 days ago
2004
IEEE
There exist several approaches to improve the quality of evolution. In this paper, a priori design knowledge as a part of evolving systems is discussed. Further, experiments are r...
ICCAD
2009
IEEE
13 years 6 months ago
2009
IEEE
The problem of calculating accurate impact of crosstalk on a circuit considering its inherent logic and timing properties is very complex. Although it has been widely studied, it ...
IJON
2007
13 years 8 months ago
2007
We present a new way to model the response of an electrode to an injected current. The electrode is represented by an unknown complex linear circuit, characterized by a kernel whi...
AAAI
2010
13 years 10 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
SPLC
2008
13 years 10 months ago
2008
A configuration process is about finding a configuration, a setting, that satisfies the requirements given by the user and constraints imposed by the domain. Feature models are us...