Contact


Guy Van den Broeck

Postdoctoral Researcher
Automated Reasoning Group
Computer Science Department
University of California, Los Angeles (UCLA)
guyvdb@cs.ucla.edu
LinkedIn