Search Sciweavers | Sciweavers

351 search results - page 8 / 71

» On the Learnability of Boolean Formulae

120

click to vote

SAT
2005
Springer

142views Hardware» more SAT 2005»

Optimizations for Compiling Declarative Models into Boolean Formulas

15 years 8 months ago

Download users.ece.utexas.edu

Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efﬁcient SAT solver ...

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...

claim paper

Read More »

123

click to vote

FROCOS
2009
Springer

123views Control Systems» more FROCOS 2009»

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas

15 years 10 months ago

Download disi.unitn.it

Luca Pulina, Armando Tacchella

claim paper

Read More »

149

Voted

SIEMENS
1993

124views Programming Languages» more SIEMENS 1993»

Cryptographic Limitations on Learning Boolean Formulae and Finite Automata

15 years 7 months ago

Download www.cis.upenn.edu

Michael J. Kearns, Leslie G. Valiant

claim paper

Read More »

click to vote

IJCAI
2007

151views Artificial Intelligence» more IJCAI 2007»

Symmetry Breaking in Quantified Boolean Formulae

15 years 4 months ago

Download www.ijcai.org

Gilles Audemard, Saïd Jabbour, Lakhdar Sais

claim paper

Read More »

click to vote

ECCC
2008

89views more ECCC 2008»

Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers