Supplementary material related to the GC-FOVE system, presented in:
- Lifted Variable Elimination with Arbitrary Constraints. N. Taghipour, D. Fierens, J. Davis, H. Blockeel; In Proceedings of the 15th International Conference on Artificial Intelligence and Statistics (AISTATS), 2012; La Palma, Canary, Islands.
Appendix
The full version, including the appendix.
Information
For more information, contact Nima Taghipour.