1930 search results - page 233 / 386 » Learning to Solve QBF |
JAIR
2010
13 years 7 months ago
2010
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
ICASSP
2011
IEEE
13 years 29 days ago
2011
IEEE
Mobile adaptive networks consist of a collection of nodes with learning and motion abilities that interact with each other locally in order to solve distributed processing and dis...
CAV
2011
Springer
13 years 25 days ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
EMNLP
2011
12 years 9 months ago
2011
Machine-produced text often lacks grammaticality and fluency. This paper studies grammaticality improvement using a syntax-based algorithm based on CCG. The goal of the search pr...
IACR
2011
12 years 9 months ago
2011
Let r, B and w be positive integers. Let C be a linear code of length Bw and subspace of Fr 2. The k-regular-decoding problem is to find a nonzero codeword consisting of w length...