@ARTICLE{
author={Ognjanovic Zoran D,Midic Uros,Mladenovic Nenad M},
year={2005},
title={A hybrid genetic and variable neighborhood descent for probabilistic SAT problem},
journal={HYBRID METAHEURISTICS, PROCEEDINGS},
volume={3636},
number={},
pages={42-53},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Midic Uros,Kratica Jozef J},
year={2004},
title={A genetic algorithm for probabilistic SAT problem},
journal={ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING - ICAISC 2004},
volume={3070},
number={},
pages={462-467},
document_type={Article},
}