A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.

Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic

Browse the full ECSQARU paper archive.