Inproceedings,

A Survey of Constraint Transformation Methods.

, , , and .
GI-Jahrestagung, volume P-314 of LNI, page 1107-1120. Gesellschaft für Informatik, Bonn, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews