1
Published 2005
Table of Contents: ... Prover for Reasoning on Constraint Problems -- Good and Bad Practices in Propositionalisation...
View full text
Electronic eBook