Conventions and Definitions

From now on we use SBSAT to refer to the package and sbsat to refer to the executable that is run to solve problems of the type stated at the beginning of the welcome section on Page .