WalkSAT

Results: 10



#Item
1Lifting 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

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2013-06-27 21:40:30
    2Tuffy: 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

    Add to Reading List

    Source URL: www.cs.stanford.edu

    Language: English - Date: 2013-07-22 00:25:35
    3On smoothed k-CNF formulas and the Walksat algorithm Amin Coja-Oghlan ∗

    On smoothed k-CNF formulas and the Walksat algorithm Amin Coja-Oghlan ∗

    Add to Reading List

    Source URL: www.wisdom.weizmann.ac.il

    Language: English - Date: 2008-10-05 02:43:50
      4Relaxed 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

      Add to Reading List

      Source URL: www.comp.nus.edu.sg

      Language: English - Date: 2008-11-06 22:58:52
      5Artificial 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

      Add to Reading List

      Source URL: webdocs.cs.ualberta.ca

      Language: English - Date: 2005-06-24 17:14:13
      6Stochastic 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

      Add to Reading List

      Source URL: disi.unitn.it

      Language: English - Date: 2011-10-12 05:34:03
      7E 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

      Add to Reading List

      Source URL: tidel.mie.utoronto.ca

      Language: English - Date: 2006-09-14 13:48:35
      8Automated 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]

      Add to Reading List

      Source URL: www.genetic-programming.org

      Language: English - Date: 2006-11-17 21:23:57
      9Improving 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]

      Add to Reading List

      Source URL: research.microsoft.com

      Language: English - Date: 2010-12-07 07:14:51
      10

      PDF Document

      Add to Reading List

      Source URL: www.bracil.net

      Language: English - Date: 2007-05-26 07:27:01