Publication at Faculty of Mathematics and Physics |
2007
Abstract
We are addressing the solving process over difficult AI problems such as planning and Boolean formula satisfaction in this paper. We propose a method for disentangling the structure of the problem hidden in its formulation.