1![Lifting WALKSAT-based Local Search Algorithms for MAP Inference Somdeb Sarkhel Vibhav Gogate Computer Science Department Lifting WALKSAT-based Local Search Algorithms for MAP Inference Somdeb Sarkhel Vibhav Gogate Computer Science Department](https://www.pdfsearch.io/img/a5f79596da2b2b11c32b0de8e82283d1.jpg) | Add to Reading ListSource URL: www.hlt.utdallas.eduLanguage: English - Date: 2013-06-27 21:40:30
|
---|
2![Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu](https://www.pdfsearch.io/img/85fd9a20188c6fcc3074080923d1e99a.jpg) | Add to Reading ListSource URL: www.cs.stanford.eduLanguage: English - Date: 2013-07-22 00:25:35
|
---|
3![On smoothed k-CNF formulas and the Walksat algorithm Amin Coja-Oghlan ∗ On smoothed k-CNF formulas and the Walksat algorithm Amin Coja-Oghlan ∗](https://www.pdfsearch.io/img/69804dc987ed982825e72cd94572023f.jpg) | Add to Reading ListSource URL: www.wisdom.weizmann.ac.ilLanguage: English - Date: 2008-10-05 02:43:50
|
---|
4![Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance](https://www.pdfsearch.io/img/e0f36ddd802bdd202387ca0b56fafe3f.jpg) | Add to Reading ListSource URL: www.comp.nus.edu.sgLanguage: English - Date: 2008-11-06 22:58:52
|
---|
5![Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L](https://www.pdfsearch.io/img/2912f1c4a88fcee831ee3ccd06e0992e.jpg) | Add to Reading ListSource URL: webdocs.cs.ualberta.caLanguage: English - Date: 2005-06-24 17:14:13
|
---|
6![Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2](https://www.pdfsearch.io/img/5bfb0b628ce117873bc9546daa266d04.jpg) | Add to Reading ListSource URL: disi.unitn.itLanguage: English - Date: 2011-10-12 05:34:03
|
---|
7![E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon](https://www.pdfsearch.io/img/07d2ca1f1b5b7fccee3431bba427ae3c.jpg) | Add to Reading ListSource URL: tidel.mie.utoronto.caLanguage: English - Date: 2006-09-14 13:48:35
|
---|
8![Automated Discovery of Composite SAT Variable-Selection Heuristics Alex Fukunaga Computer Science Department University of California, Los Angeles [removed] Automated Discovery of Composite SAT Variable-Selection Heuristics Alex Fukunaga Computer Science Department University of California, Los Angeles [removed]](https://www.pdfsearch.io/img/2768f5c02c65a4d7fab1b0726a48b6a6.jpg) | Add to Reading ListSource URL: www.genetic-programming.orgLanguage: English - Date: 2006-11-17 21:23:57
|
---|
9![Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed] Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed]](https://www.pdfsearch.io/img/38055a4514bc0e9b362d26ed917df034.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2010-12-07 07:14:51
|
---|
10![](https://www.pdfsearch.io/img/ed802197f4d26bb4f089cfcd3999c931.jpg) | Add to Reading ListSource URL: www.bracil.netLanguage: English - Date: 2007-05-26 07:27:01
|
---|