Designing New Phase Selection Heuristics

von Shaw, Arijit
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

On Scalable Testing of Samplers

von Pote, Yash
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 36 of 50 (2023)

Approximate Counting of Minimal Unsatisfiable Subsets

von Bendik, Jaroslav
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

IMLE An Incremental Framework for MaxSAT-Based Learning ye of Interpretable Classification Rules

von Ghosh, Bishwamittra
Veröffentlicht in AAAI/ACM Conference on AI, Ethics, and Society (2. : 2019 : Honolulu, Hawaii) AIES'19 (2019)

Counting Minimal Unsatisfiable Subsets

von Bendik, Jaroslav
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

On the Sparsity of XORs in Approximate Model Counting

von Agrawal, Durgesh
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Testing Probabilistic Circuits

von Pote, Yash Pralhad
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 27 of 36 (2022)

Projected Model Counting: Beyond Independent Support

von Yang, Jiong
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

TAMING DISCRETE INTEGRATION VIA THE BOON OF DIMENSIONALITY

von Dudek, Jeffrey
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 2 of 27 (2021)

Manthan: A Data-Driven Approach for Boolean Function Synthesis

von Golia, Priyanka
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

On the Usefulness of Linear Modular Arithmetic in Constraint Programming

von Pesant, Gilles
Veröffentlicht in CPAIOR (18. : 2021 : Online) Integration of Constraint Programming, Artificial Intelligence, and Operations Research (2021)

Phase Transition Behavior in Knowledge Compilation

von Gupta, Rahul
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

von Prevot, Nicolas
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

A Scalable Shannon Entropy Estimator

von Golia, Priyanka
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

von Soos, Mate
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Classification Rules in Relaxed Logical Form

von Ghosh, Bishwamittra
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

ON TESTING OF SAMPLERS

von Meel, Kuldeep S.
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 8 of 27 (2021)

EFFICIENT DISTANCE APPROXIMATION FOR STRUCTURED HIGH-DIMENSIONAL DISTRIBUTIONS VIA LEARNING

von Bhattacharyya, Arnab
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 18 of 27 (2021)

EMBEDDING SYMBOLIC KNOWLEDGE INTO DEEP NETWORKS

von Xie, Yagi
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 6 of 20 (2020)

A Study of Symmetry Breaking Predicates and Model Counting

von Wang, Wenxi
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)