Solving Pseudo-Boolean Modularity Constraints.

Carlos Anstegui, Ramn Bjar, Csar Fernndez, Francesc Guitart, Carles Mateu

Browse the full ECAI paper archive.