conftrace_

satisfaction modulo theories

1 paper

Explore in graph

Also known as

SMT

Co-occurring keywords · papers mentioning both

electrical muscle stimulation (1) automatic calibration (1) electric muscle stimulation (1) constraint model (1) electrode array (1) calibration method (1) constraint programming (1) sat solver (1) black-box optimization (1)

Papers

Optimising Automatic Calibration of Electric Muscle Stimulation AAAI 2021