Engineering an Efficient Approximate DNF-Counter.

Mate Soos Divesh Aggarwal Sourav Chakraborty Kuldeep S. Meel Maciej Obremski

Published in: IJCAI (2023)

Keyphrases

artificial intelligence
uniform distribution
computer science
boolean functions
engineering design
learning algorithm
software engineering
learning theory
database
information systems
case study