Concepedia

Boolean Constraint Satisfaction

Boolean Constraint Satisfaction is a constraint satisfaction problem in which the domain of each variable is restricted to Boolean values, and the constraints are expressed as logical relations over these variables.

171

Publications

7.7K

Citations

324

Authors

183

Institutions

Publications per year

2017–2026

21

Parents

Publications

171

Gibbs states and the set of solutions of random constraint satisfaction problems

Florent Krząkała, Andrea Montanari, Federico Ricci‐Tersenghi et al. · Proceedings of the National Academy of Sciences · 2007 · 548 citations · Full text

, , +17

Constraint satisfaction problems: Algorithms and applications

Sally Brailsford, Chris N. Potts, Barbara M. Smith · European Journal of Operational Research · 1999 · 376 citations

, , +10

Logic-based methods for optimization: combining optimization and constraint satisfaction

Choice Reviews Online · 2001 · 309 citations

, , +15

Modeling disjunctive constraints with a logarithmic number of binary variables and constraints

Juan Pablo Vielma, George L. Nemhauser · Mathematical Programming · 2009 · 271 citations

, , +13

The Approximability of Constraint Satisfaction Problems

Sanjeev Khanna, Madhu Sudan, Luca Trevisan et al. · SIAM Journal on Computing · 2001 · 206 citations

, , +16

1–5 of 171

Authors

324

  1. MM
    Michael Molloy

    University of Toronto, Canada

    9 publications · 204 citations

    9

    h-index

  2. TS
    Torsten Schaub

    University of Potsdam, Germany

    4 publications · 174 citations

    4

    h-index

  3. KA
    Karem A. Sakallah

    University of Michigan, United States

    4 publications · 241 citations

    4

    h-index

  4. RA
    Rob A. Rutenbar

    Carnegie Mellon University, United States

    4 publications · 241 citations

    4

    h-index

  5. AK
    Andrei Krokhin

    Durham University, United Kingdom

    4 publications · 129 citations

    4

    h-index

1–5 of 324

Institutions

183

  1. University of Toronto

    Toronto, Canada

    8 h-index

    10 publications

    227 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    18 publications

    915 citations

  3. University of California, Berkeley

    Berkeley, United States

    8 h-index

    15 publications

    249 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    9 publications

    262 citations

  5. University of Oxford

    Oxford, United Kingdom

    5 h-index

    9 publications

    351 citations

  6. Durham University

    Durham, United Kingdom

    5 h-index

    6 publications

    247 citations

  7. TU Wien

    Vienna, Austria

    4 h-index

    10 publications

    233 citations

  8. Université Toulouse III - Paul Sabatier

    Toulouse, France

    4 h-index

    7 publications

    152 citations

1–8 of 183

Venues

  1. Artificial Intelligence

    6 publications · 588 citations

    6

    h-index

  2. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 5 publications · 81 citations

    5

    h-index

  3. Theoretical Computer Science

    5 publications · 124 citations

    5

    h-index

  4. SIAM Journal on Computing

    6 publications · 407 citations

    5

    h-index

  5. arXiv (Cornell University)

    Repository · 5 publications · 69 citations

    5

    h-index

1–5