189 search results - page 32 / 38 » Similarity-Guided Clause Generalization |
TSP
2008
14 years 11 months ago
2008
Abstract--In this paper, we investigate the impact of the spatiotemporal aperture of a channel sounding system equipped with antenna arrays at the transmitter and receiver on the a...
ALIFE
2004
14 years 11 months ago
2004
We study the response of populations of digital organisms that adapt to a time-varying (periodic) fitness landscape of two oscillating peaks. We corroborate in general predictions ...
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
119
click to vote
STOC
2012
ACM
13 years 2 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
AAAI
2008
15 years 2 months ago
2008
The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginal...