Exportar registro bibliográfico

Probabilistic satisfiability and coherence checking through Integer programming (2013)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021