A number of research related pages.

• A bit obsolete research on SAT and van der Waerden numbers.
• A book and slides on satisfiability.
• Slides for Answer Set Programming talk presented at ASL meeting in San Diego, January 2008.
• Remarks on Logic and Knowledge Representation delivered during the ISAIM conference in Ft. Lauderdale, January 2008.
• Slides for a popular lecture on Database security. That lecture was written for and presented in the Departmental series of public lectures on Computer Security, Fall 2007.
• Lisp code for algorithms of the paper by Boyer, Legato and Marek on decreasing ordinal measures in ATP systems.

Set up: January 15, 2008

This page last modified: January 15, 2008