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

  • Heba Ibrahim Mustafa, "Soft Rough Approximation Operators on a Complete Atomic Boolean Lattice", Hindawi Publishing Corporation, 2013 More
  • Heba Ibrahim Mustafa, "Generalized closed sets in ditopological texture spaces with application in rough set theory", Council for Innovative Research, 2013 More
  • Mohammed Hamza Mahmoud Ibrahim, "Improving the Performance of an HMM for Protein Family Modeling", Science Alert, 2007 More
  • Hany Samih Bayoumi Ibrahim, "Active vibration control of a dynamical system via negative linear velocity feedback", Springer Netherlands, 2014 More
  • Ramadan Saleh Tantawi, "Effects of variable thermal conductivity of a small semiconductor cavity through the fractional order heat-magneto-photothermal theory.", Eur. Phys. J. Plus, 2019 More
Tweet