Neil V. Murray
Professor
Computer Science Department
University At Albany, State University of New York.
NSF Project: Knowledge Compilation with Fast Response [Website]
INF 723 slides
Spring 2010: Algorithms, complexity, computability, logic
ISMIS 2005 in Saratoga Springs, NY
Conference on Automated Deduction (CADE) Website
TABLEAUX'99
Administrative & Course Information
Research Interests
and Selected Publications
This page is always under construction
