31![Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International](https://www.pdfsearch.io/img/4fa99186dc9a4876dc8b84ad447108e5.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2009-07-21 19:11:23
|
---|
32![Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus](https://www.pdfsearch.io/img/0a2ff8cc12d3bf21ee75b417dd8a7b9e.jpg) | Add to Reading ListSource URL: jair.orgLanguage: English - Date: 2009-03-28 16:44:23
|
---|
33![Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto](https://www.pdfsearch.io/img/244ff64cede00a537659e34af9697977.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2004-04-13 00:26:28
|
---|
34![D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei](https://www.pdfsearch.io/img/c566ca16d924fb2ffee087b05be06c29.jpg) | Add to Reading ListSource URL: tidel.mie.utoronto.caLanguage: English - Date: 2012-03-14 09:53:05
|
---|
35![A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853](https://www.pdfsearch.io/img/2f756084e9037f636d547379192acc93.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2005-06-09 16:20:27
|
---|
36![Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract](https://www.pdfsearch.io/img/69aa4c0d7c97ef6b5e6a1e351c210247.jpg) | Add to Reading ListSource URL: www.eecs.qmul.ac.ukLanguage: English - Date: 2015-04-10 18:09:41
|
---|
37![The Ackermann Award 2009 J.A. Makowsky and A. Razborov Members of EACSL Jury for the Ackermann Award The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which th The Ackermann Award 2009 J.A. Makowsky and A. Razborov Members of EACSL Jury for the Ackermann Award The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which th](https://www.pdfsearch.io/img/42b9d8a85180b7f788908deba7518c80.jpg) | Add to Reading ListSource URL: eacsl.kahle.chLanguage: English - Date: 2013-12-08 17:58:05
|
---|
38![Solving Non-clausal Formulas with DPLL search Christian Thiffault1 , Fahiem Bacchus1 , and Toby Walsh 2 1 Department of Computer Science, University of Toronto, Toronto, Ontario, Canada Solving Non-clausal Formulas with DPLL search Christian Thiffault1 , Fahiem Bacchus1 , and Toby Walsh 2 1 Department of Computer Science, University of Toronto, Toronto, Ontario, Canada](https://www.pdfsearch.io/img/99e2d78885e3b6649aad27ea1785cfdd.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2004-07-03 23:15:04
|
---|
39![KURTOSIS DPLL AND PTCM DECODER FOR NON-LINEARLY AMPLIFIED 16-QAM S. Jayasimha and P. Jyothendar Signion Systems Ltd. Hyderabad, India ABSTRACT KURTOSIS DPLL AND PTCM DECODER FOR NON-LINEARLY AMPLIFIED 16-QAM S. Jayasimha and P. Jyothendar Signion Systems Ltd. Hyderabad, India ABSTRACT](https://www.pdfsearch.io/img/8ef5ed5dc7a1e2d6f7612aad0744368b.jpg) | Add to Reading ListSource URL: www.signion.comLanguage: English - Date: 2010-11-18 01:31:13
|
---|
40![DPLL Adaptation and I/Q Imbalance Compensation for Mobile Satellite Demodulators S. Jayasimha, T. P. Kumar and P. Jyothendar Signion Systems Ltd., Hyderabad, India [removed] Abstract DPLL Adaptation and I/Q Imbalance Compensation for Mobile Satellite Demodulators S. Jayasimha, T. P. Kumar and P. Jyothendar Signion Systems Ltd., Hyderabad, India [removed] Abstract](https://www.pdfsearch.io/img/72447207a8fcd7fa1c095eec97c7d852.jpg) | Add to Reading ListSource URL: www.signion.comLanguage: English - Date: 2010-11-18 01:31:22
|
---|