Work

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-23219-5_15

Authors: Saurabh Joshi, Ruben Martins, Vasco Manquinho

Institutions: University of Oxford, Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, University of Lisbon, Instituto Superior Técnico

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3103016263

FWCI: 1.985

Cites: 31

Cited by: 35

Related to: 10