|
|
[ CSE 573 2004 Autumn Home | Mini-Project 1 | Mini Project 2 ]
Team Name |
Members |
Title |
Report Links |
Team#0
|
Criag M Prince, Harsha Madhyastha Ankur Jain |
An
Analysis and Comparison of Satisfiability Solving Techniques |
paper |
|
Vaishnavi Sannidhannam Muthukaruppan Annamalai |
An
Analysis of Heuristics in Othello |
final |
Heavy Welding |
Brian Ferris Jon Froehlich |
WalkSAT
as an Informed Heuristic to DPLL in SAT Solving |
paper |
O-Thell-Us |
Mathias Ganter Jonas Klink |
A New
Experience: O-Thell-Us |
Othellus |
Gaurav&Ravi |
Gaurav Bhaya |
A
Comparative Study of Algorithms for Propositional Satisfiability |
report |
CurryEatingSATSolvers
|
Atmosukarto, Indriyati Bhat, Pravin |
Curry
Eating SAT Solver
|
report |
Connect-Toe |
Kasia Wilamowska Martha Mercaldi |
General
Heuristic for Tic-Tac-Toe-Like Games |
report |
The S&Ateam |
Anna Cavender Stefan Schoenmackers |
Satisfy
This: An Attempt at Solving Prime Factorization using Satisfiability Solvers |
final |
JET |
Beltran Ibarra Davila-Armero
Stephen Friedman |
Abalone
|
report |
JA |
Adrienne Wang Jiun-Hung Chen |
Five-In-Row
with Local Evaluation and Beam Search |
report |
Puny-Hu-mans |
Seth Cooper Kevin Wampler |
Using
SAT-Solving Techniques in the Game of Go |
p1 |