This page contains several software projects which I developed myself or in cooperation with my colleagues.

Currently, I am developing a new full-text search engine called yeRCH. It is intended to serve as a research and development platform for web related artificial intelligence projects. An on-line demo is now powering site search on this academic web. The engine consists of the standard components used by major web search engines - web crawling, indexing, and searching. New AI techniques are planned to improve user's experience. The engine is written in C++ and all the main components are developed by us.

Additionally, some notes on solving instances of the SAT problem and several AI planning benchmarks are included in this page.

---

Up to the present time I have placed on this page the following projects:

• yeRCH  A Full-text Search Engine  (2012-present) - try it »on-line«
  
• sigmaSAT  Experimental SAT Solver  (2009-2010)
  
• GraphExplorer  Graph Visualisation Tool  (2006-2007)
  
• SSAT  SAT Preprocessing Tool  (2006-2007)
  
• SPlan  Experimental Library for Constraint Programming  (2003-2005)
  
• GD-RCS  Revision Control System  (2001-2003)
  
• SxLib  Graphics under X Window System  (2001)
  
• NN-Lab  Neural Network Laboratory  (2000)
  

---

Several notes about solving SAT problems

I wrote a simple tool for preprocessing Boolean formula satisfaction problems. The page about the tool is accessible through the following link. Several notes and related links are also provided at the page.

SSAT - SAT Preprocessing Tool

---

Benchmark Planning Problems (for SPlan)

Several STRIPS-style benchmark planning problems are available through the following link. Planning problems from this set are described using an ad-hoc xml format which I quicky developed for my experimental planning library SPlan (see software section of my web site). A planning domain, an initial situation and a goal are described for each planning problem. Actions which manipulates the planning world are not listed in problem description files. They are generated by the planner.

A Set of Benchmark Planning Problems (for SPlan 1.5.0 and higher)

The set of planning problems consists of problems for three planning domains - Dock Worker Robots, Towers of Hanoi and Refuelling Planes. Some of the problems are really hard to solve (for example dock worker robots problem number 6).