A genetic algorithm for probabilistic SAT problem

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3070, Issue , 2004, Pages 462-467

  Ognjanović, Zoran ^a   Midić, Uros ^a   Kratica, Jozef ^a  

^a MATHEMATICAL INSTITUTE   (Serbia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; LINEAR PROGRAMMING; LINEAR SYSTEMS; PROBABILISTIC LOGICS; PROBABILITY; PROBLEM SOLVING;

COLUMN GENERATION; LOCAL SEARCH; PROBABILISTIC FORMULA; PROPOSITIONAL LOGIC;

GENETIC ALGORITHMS;

EID: 9444234552     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24844-6_68     Document Type: Conference Paper

References (11)

1. T. Baeck, A. E. Eiben, and M. E. Vink. A superior evolutionary algorithm for 3-SAT. LNCS vol. 1744, 125 - 136, 1998.
2. Evolutionary computation, Vol. I, II, T. Baeck, D. B. Fogel, and T. Michalewicz edts., Institute of Physics Publishing, Bristol and Philadelphia, 2000.
3. R. Fagin, J. Halpern, and N. Megiddo. A logic for reasoning about probabilities.Information and Computation, 87:78-128, 1990.
4. G. Georgakopoulos, D. Kawadias, and C. Papadimitriou. Probabilistic satisfiability. Journal of Complexity, 4(1):1-11, 1988.
5. P. Hansen, B. Jaumard, G.-B. D. Nguetse, and M. P. de Aragao. Models and algorithms for probabilistic and Bayesian logic. IJCAI-95, 1862-1868, 1995.
6. B. Jaumard, P. Hansen, and M. P. de Aragao. Column generation methods for probabilistic logic. ORSA Journal on Computing, 3:135-147, 1991.
7. J. Kratica. Improving Performances of the Genetic Algorithm by Caching. Computers and Artificial Intelligence, Vol. 18, No. 3, pp. 271-283, 1999.
8. J. Kratica, I. Ljubić, D. Tošić. A genetic algorithm for the index selection problem. LNCS vol. 2611, 281-291, 2003.
9. E. Marchiori, and C. Rossi. A flipping genetic algorithm for hard 3-SAT problems. In Proc. of the GECCO-99, 393-400, 1999.
10. Z. Ognjanović and M. Rašković. Some first-order probability logics. Theoretical Computer Science, 247(1-2):191-212, 2000.
11. Z. Ognjanović, J. Kratica, M. Milovanović. A genetic algorithm for satisfiability problem in a probabilistic logic: A first report. LNCS 2143, 805 - 816, 2001. 23.