DMCA

GQR – A Fast Reasoner for Binary Qualitative Constraint Calculi

by Zeno Gantner , Matthias Westphal , Stefan Wölfl
Citations:26 - 8 self