conftrace_

constraint model

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint programming (2) electrode array (1) parameterized constraint (1) electric muscle stimulation (1) constraint acquisition (1) electrical muscle stimulation (1) automatic calibration (1) satisfaction modulo theories (1) decision rule (1) calibration method (1)

Papers

Generalizing Constraint Models in Constraint Acquisition AAAI 2025 Optimising Automatic Calibration of Electric Muscle Stimulation AAAI 2021 Solving Sudoku with Consistency: A Visual and Interactive Approach IJCAI 2018