ABSTRACT

It is presented here an evaluation report related to the papers presented and discussed in the Parallel Session 1.2 of the UNSAT 2002.