Home
Projects
Publications
Teaching
Contact
Light
Dark
Automatic
A Tractable Class of Model Counting Problems
Denis Deratani Mauá
,
Fabio Gagliardi Cozman
January 2015
PDF
Cite
Type
Conference paper
Publication
Anais do XII Encontro Nacional de Inteligência Artificial e Computacional
Cite
×