Login / Signup

Propositional Encoding of Constraints over Tree-Shaped Data.

Alexander BauJohannes Waldmann
Published in: KDPD (2013)
Keyphrases