Propositional Encoding of Constraints over Tree-Shaped Data.

Autor: Bau, Alexander, Waldmann, Johannes
Zdroj: Declarative Programming & Knowledge Management; 2014, p33-47, 15p
Databáze: Complementary Index
Externí odkaz: