Boolean Satisfiability Research Group at Princeton

People

Faculty:

Graduate Students:

Ph.D. Graduates:

Lintao Zhang (at Microsoft)

Former Students in collaboration:

Matthew Moskewicz

Home | People | Publications | Software | Links | SAT Paper Library

© Copyright: 2001-2004 SAT Research Group, Princeton University