Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Attacking Satisfiability with GAs Peter G. Anderson,

Summary:  Attacking Satisfiability with GAs
Peter G. Anderson,
Computer Science Department
Rochester Institute of Technology,
Rochester, New York
anderson@cs.rit.edu http://www.cs.rit.edu/
June 11, 2003
pg. 1
Satisfiability (SAT) is the mother of all NP-complete problems.
Herein we demonstrate two GA approaches to SAT: bit strings and
ordered greed.
pg. 2
Satisfiability: "SAT"
SAT: Is a given boolean function, f(x1, x2, , xn) satisfiable?
Variables xi are TRUE or FALSE.
f combines the variables with AND, OR, NOT, and parentheses.
SAT asks whether the truth table for f has any T's.
If so, where?
This is an NP-complete problem (a standard one).


Source: Anderson, Peter G. - Department of Computer Science, Rochester Institute of Technology


Collections: Computer Technologies and Information Sciences