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

  • Ahmed Mohamed Khedr Souliman, "IBLEACH: intra-balanced LEACH protocol for wireless sensor networks", Wireless Netw, 2014 More
  • Ahmed Mohamed Khedr Souliman, "AGENTS FOR INTEGRATING DISTRIBUTED DATA FOR FUNCTION COMPUTATIONS", Computing and Informatics,, 2012 More
  • Ramadan Saleh Tantawi, "Thermal conductivity dependent temperature during photo-thermo-elastic excitation of semiconductor material with volumetric absorption laser heat source in gravitational field", Eur. Phys. J. Plus, 2021 More
  • Khaled Lotfy Mohamed Azab, "Photothermal waves for two temperature with a semiconducting medium under using a dualphase- lag model and hydrostatic initial stress", Taylor and Francis, 2017 More
  • Samah Mohammed Dirdeiry Mohammadein, "Newton–Kantorovich approximations to nonlinear singular integral equation with shift", Applied Mathematics and Computation, 217 (2011): 8873-8882., 2011 More
Tweet