/MI-PAA-BooleanSatisfiability

Boolean satisfiability problem using advanced heuristic (Simulated Annealing for instance).

Primary LanguageJava

MI-PAA-BooleanSatisfiability

This simple application solves Boolean Satisfability problem using Simulated Annealing advanced heuristic approach. It was created as a semestral work at CTU FIT in Prague, subject MI-PAA (Problems and algorithms, Problémy a algoritmy)