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.
It is presented here an evaluation report related to the papers presented and discussed in the Parallel Session 1.2 of the UNSAT 2002.