Csp Modelling

CSP Modelling is the systematic process of formulating a computational problem as a Constraint Satisfaction Problem by identifying variables, domains, and constraints that characterize permissible configurations, thereby enabling reasoning and solution through constraint-based inference techniques.

285

Publications

13.8K

Citations

752

Authors

313

Institutions

Publications per year

2017–2026

39

Variants

Constraint Satisfaction Problem Modelling

Authors

752

  1. SS
    Steve Schneider

    University of Surrey, United Kingdom

    4 publications · 432 citations

    4

    h-index

  2. IM
    Ian Miguel

    University of St Andrews, United Kingdom

    4 publications · 106 citations

    4

    h-index

  3. HZ
    Huibiao Zhu

    East China Normal University, China

    4 publications · 86 citations

    4

    h-index

  4. SB
    Stefano Bistarelli

    University of Perugia, Italy

    4 publications · 971 citations

    4

    h-index

  5. AW
    A. W. Roscoe

    University of Oxford, United Kingdom

    4 publications · 294 citations

    4

    h-index

1–5 of 752

Venues

  1. Formal Aspects of Computing

    6 publications · 299 citations

    6

    h-index

  2. Energy Procedia

    6 publications · 190 citations

    6

    h-index

  3. Energies

    4 publications · 138 citations

    4

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 4 publications · 239 citations

    4

    h-index

  5. Constraints

    4 publications · 430 citations

    4

    h-index

1–5