scientific article; zbMATH DE number 1961995

MaRDI QIDQ4418385zbMATH OpenFDO

Authors Jin-Kao Hao, Frédéric Lardeux, Frédéric Saubion

Publication date 10 August 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2611/26110258.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Solving the SAT problem based on evolutionary algorithm
• Solving SAT Problem Based on Hybrid Differential Evolution Algorithm
• Artificial Evolution
• Artificial Intelligence and Soft Computing - ICAISC 2004
• VEGAS -- a new genetic algorithm for satisfiability

Cited in

(12)

• scientific article; zbMATH DE number 1696707 (Why is no real title available?)
• Solving SAT Problem Based on Hybrid Differential Evolution Algorithm
• VEGAS -- a new genetic algorithm for satisfiability
• Solving the SAT problem based on evolutionary algorithm
• Evolving Variable-Ordering Heuristics for Constrained Optimisation
• scientific article; zbMATH DE number 2040651 (Why is no real title available?)
• scientific article; zbMATH DE number 2090049 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 5044617 (Why is no real title available?)
• Artificial Evolution
• A competitive and cooperative approach to propositional satisfiability
• Scatter search and genetic algorithms for MAX-SAT problems

Describes a project that uses

Uses Software

• UnitWalk
• Chaff
• SATO

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418385)