A Tsume-Go life & death problem solver
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
Main Author: | Danieli, Adrian B. (Adrian Brian), 1975- |
---|---|
Other Authors: | Robert Berwick. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/50434 |
Similar Items
-
PSolver : a distributed SAT solver framework
by: Kokotov, Daniel (Daniel L.), 1978-
Published: (2014) -
Finding bugs in software with a constraint solver
by: Vaziri-Farahani, Mandana
Published: (2006) -
A new approach to parallel SAT solvers
by: Nelson, Max (Max M.)
Published: (2014) -
Effective software testing with a string-constraint solver
by: Kieżun, Adam
Published: (2010) -
A user-friendly interface for a poisson-solver
by: Johnson, Ted C. (Ted Christian)
Published: (2024)