1795 search results - page 272 / 359 » On the Complexity of Circuit Satisfiability |
97
Voted
ACSC
2009
IEEE
15 years 7 months ago
2009
IEEE
Privacy is today an important concern for both data providers and data users. Data generalization can provide significant protection of an individual’s privacy, which means the...
94
Voted
CP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
104
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Many real-world problems demand a feasible solution to satisfy physical equilibrium, stability, or certain properties which require an additional lower level optimization probl...
116
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
102
click to vote
CBSE
2009
Springer
15 years 7 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...