Experimental Results

In this section we make an empirical study of algorithms for binary encodings. The empirical study is organized in two parts:

All algorithms were implemented in C. All experiments were run on a PC with a 3.06 GHz Pentium 4 processor and 1 GB RAM. In all experiments, all algorithms use the dom/deg heuristic [Bessière RéginBessière Régin1996b] for dynamic variable ordering and lexicographic value ordering.

Nikolaos Samaras 2005-11-09