189 search results - page 32 / 38 » Similarity-Guided Clause Generalization |
TSP
2008
14 years 9 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 9 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 28 days 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...
103
click to vote
STOC
2012
ACM
12 years 12 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
14 years 11 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...