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

  • Rodyna Ahmed Mahmoud, "Pre-Open Sets with Ideal", Scientific Research Platform (SRP), 2013 More
  • Rodyna Ahmed Mahmoud, "ON BCL-ALGEBRA", Council for Innovative Research, 2013 More
  • Yasser AbdelAziz Amer Tolba, "The improved (G’/G) - expansion method for constructing exact traveling wave solutions for a nonlinear PDE of nanobiosciences", USA, 2013 More
  • Alaa Hassan Attia Hassan, "A Unified Representation of Some Starlike and Convex Harmonic Functions with Negative Coefficients", AGH University of Science and Technology Press, Krakow 2013, Poland, 2013 More
  • Alaa Hassan Attia Hassan, "Generalizations of Hadamard Procuct of Certain Meromorphic Multivalent Functions with Positive Coefficients", Istanbul Universitesi, Turkey, 2013 More
Tweet