Real-time Constraint Solving

Real-Time Constraint Solving is a constraint-solving paradigm that belongs to the class of dynamic constraint satisfaction methods, distinguished by its requirement to compute solutions within strict temporal bounds while adapting to continuously evolving constraints in time-sensitive environments.

19

Publications

625

Citations

54

Authors

28

Institutions

Publications per year

2017–2026

3

Authors

54

  1. AE
    Adele E. Howe

    Colorado State University, United States

    2 publications · 56 citations

    2

    h-index

  2. MZ
    Marc Zeller

    Siemens (Germany), Germany

    2 publications · 28 citations

    2

    h-index

  3. CP
    Christian Prehofer

    Technical University of Munich, Germany

    2 publications · 28 citations

    2

    h-index

  4. DM
    David M. Hart

    Imperial College London, United Kingdom

    2 publications · 56 citations

    2

    h-index

  5. PR
    Paul R. Cohen

    University of Massachusetts Amherst, United States

    2 publications · 56 citations

    2

    h-index

1–5 of 54

Venues

  1. Journal of Systems and Software

    JSS · 1 publications · 59 citations

    1

    h-index

  2. 1

    h-index

  3. KI - Künstliche Intelligenz

    1 publications · 17 citations

    1

    h-index

  4. Software Engineering for Adaptive and Self-Managing Systems

    Conference · 1 publications · 15 citations

    1

    h-index

  5. Transportation Research Part B Methodological

    1 publications · 69 citations

    1

    h-index

1–5