2266 search results - page 426 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
128
Voted
PPSN
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. In this paper, we elaborate how decision space diversity can be integrated into indicator-based multiobjective search. We introduce DIOP, the diversity integrating multio...
146
Voted
CODES
2011
IEEE
14 years 2 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
149
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
145
Voted
AAAI
2011
14 years 2 months ago
2011
Externalities are recognized to exist in the sponsored search market, where two co-located ads compete for user attention. Existing work focuses on the effect of another ad on th...
117
Voted
SODA
2010
ACM
15 years 12 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...