A Generic Search Heuristic Based on Survey Propagation to Solve CSPs

Faculty Science Year: 2012
Type of Publication: ZU Hosted Pages:
Authors:
Mohammed Hamza Mahmoud Ibrahim
Journal: International Conference on Principal and Practice of Constraint Programming AAAI Press Volume:
Keywords : , Generic Search Heuristic Based , Survey Propagation    
Abstract:
Probabilistic message-passing algorithms have had some recent success as the basis for search heuristics to solve satisfaction problems. In particular, Expectation Maximization Survey Propagation (EMSP) has been used in the context of SAT a
    
     
 
       

Author Related Publications

  • Mohammed Hamza Mahmoud Ibrahim, "Improving Probabilistic Inference in Graphical Models with Determinism and Cycles", springer, 2016 More
  • Mohammed Hamza Mahmoud Ibrahim, "Log-odd: A New Method for Improving an HMM Decoding for Gene Finding", K. J. of science & engineering, 2012 More
  • Mohammed Hamza Mahmoud Ibrahim, "Improving the Performance of an HMM for Protein Family Modeling", Science Alert, 2007 More
  • Mohammed Hamza Mahmoud Ibrahim, "Exploiting Determinism to Scale Relational Inference", AAAI Press, 2015 More

Department Related Publications

  • Wael Mohamed Khadr Salim, "a novel algorithm for source localization based on nonnegative matrix factroization using \alpha 'beta divergence in chochleagram", WSEAS, 2013 More
  • Mohamed El Sayed Ahmed Muhamed, "a novel algorithm for source localization based on nonnegative matrix factroization using \alpha 'beta divergence in chochleagram", WSEAS, 2013 More
  • Rodyna Ahmed Mahmoud, "Some methods for generating proximities by relations", .ijser, 2013 More
  • Heba Ibrahim Mustafa, "Soft proximity", World's Pioneer Iceland, 2013 More
  • Heba Ibrahim Mustafa, "On Interval-Valued Supra-Fuzzy Syntopogenous Structure", Hindawi Publishing Corporation, 2012 More
Tweet