"Generalized Totalizer Encoding for Pseudo-Boolean Constraints."

Saurabh Joshi, Ruben Martins, Vasco Manquinho (2015)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2024-09-17