You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Timeline
X Demographics
Mendeley readers
Chapter title |
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
|
---|---|
Chapter number | 2 |
Book title |
Principles and Practice of Constraint Programming
|
Published by |
Springer, Cham, September 2019
|
DOI | 10.1007/978-3-030-30048-7_2 |
Book ISBNs |
978-3-03-030047-0, 978-3-03-030048-7
|
Authors |
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret, Ansótegui Gil, Carlos, Bofill Arasa, Miquel, Coll Caballero, Jordi, Dang, Nguyen, Esteban Ángeles, Juan Luis, Miguel, Ian, Nightingale, Peter, Salamon, András Z., Suy Franch, Josep, Villaret Auselle, Mateu, Ansótegui, Carlos, Bofill, Miquel, Coll, Jordi, Esteban, Juan Luis, Suy, Josep, Villaret, Mateu |
X Demographics
The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
Geographical breakdown
Country | Count | As % |
---|---|---|
Spain | 1 | 100% |
Demographic breakdown
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Mendeley readers
The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Researcher | 1 | 100% |
Readers by discipline | Count | As % |
---|---|---|
Unknown | 1 | 100% |