3495 search results - page 74 / 699 » On the random satisfiable process |
89
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
121
click to vote
EMNLP
2010
14 years 10 months ago
2010
This paper focuses on the task of inserting punctuation symbols into transcribed conversational speech texts, without relying on prosodic cues. We investigate limitations associat...
113
Voted
TAMC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
AAAI
2008
15 years 3 months ago
2008
We introduce novel algorithms for generating random solutions from a uniform distribution over the solutions of a boolean satisfiability problem. Our algorithms operate in two pha...
90
Voted
JSAT
2008
15 years 21 days ago
2008
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...