Conference paperConstraint-based random stimuli generation for hardware verificationYehuda Naveli, Michal Rimon, et al.AAAI/IAAI 2006
PaperConditional generative models for learning stochastic processesSalvatore Certo, Anh Pham, et al.Quantum Machine Intelligence
PaperOn preservation under homomorphisms and unions of conjunctive queriesAlbert Atserias, Anuj Dawar, et al.Journal of the ACM