2501 search results - page 261 / 501 » Logics with Rank Operators |
154
click to vote
PPDP
2009
Springer
16 years 12 days ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
155
click to vote
ISVLSI
2008
IEEE
16 years 8 days ago
2008
IEEE
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
135
click to vote
DSD
2007
IEEE
16 years 6 days ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
165
click to vote
FOSSACS
2007
Springer
16 years 1 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
162
click to vote
EDOC
2006
IEEE
15 years 12 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...