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.
• Slides for a presentation on framework for Metaprogramming in ASP. That presentation was made at the Knowledge Representation Seminar here at the University of Kentucky, in October 2012.
• Slides for an introduction to rough sets and a theorem of Liu and Zhu on matroids associated with rough sets. That presentation was made at the Knowledge Representation Seminar here at the University of Kentucky, in October 2012.
• Slides for a talk given during the Seminar "SAT Interactions" at Dagstuhl Conference Center, November, 2012.
• A talk at ArtemovFest in Graduate Center, CUNY) on solvers May 2012.
• A video devoted to the memory of Henryk Kotlarski, Michal Krynicki, Zygmunt Ratajczyk, and Pawel Zbierski prepared for a conference in Bedlewo, Poland, July 2012.
• A video devoted to the memory of Zdzislaw Pawlak prepared for a conference in Gdansk, Poland, September 2016.
• ``Last Lecture'', a presentation for the Department as I am retiring, April 2018

This page last modified: November 11, 2019.