Demonstration of Algorithms Solving Satisfiability Problems 

Project Report

1) Assign values to N, M, and K.
2) Push the GenFormula button to generate a random formula or push the ReadFormula button to read in a formula from the input window.
3) Push the Start button to find a solution or restart the stopped process.
4) Push the View Value button to see the values of variables.
5) Push the View Formula button to see the clauses of the formula.
6) Push the Stop button to stop the thread running to find a solution.
7) Push the Clear button to clear the window and initialize each variable.
8) Choose different algorithm from Algorithm Options and different speed from Speed Options.
9) Click on each square to view the corresponding clause in the output window.



CS672 Advanced Artificial Intelligence
Cornell University
mao@cs.cornell.edu