reprinted from Journal of Algorithms & Computational Technology Volume 5 · Number 2 June 2011 Multi-Science Publishing Co. Ltd Modelling and Searching of Combinatorial Spaces Based on Markov Logic Networks Marenglen Biba, Stefano Ferilli and Floriana Esposito