Skip to main content

1 Result(s)

within Article Remove this filter Alexander Ivrii Remove this filter Artificial Intelligence Remove this filter

and

  1. No Access

    Article

    On computing minimal independent support and its applications to sampling and counting

    Constrained sampling and counting are two fundamental problems arising in domains ranging from artificial intelligence and security, to hardware and software testing. Recent approaches to approximate solutions...

    Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi in Constraints (2016)