conftrace_

boolean constraint

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

boolean satisfiability (2) hybrid constraint (1) incomplete solver (1) fidelity metric (1) local search (1) perturbation method (1) perfect matching (1) black-box model (1) post-hoc explanation (1) model explanation (1)

Papers

Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints IJCAI 2023 Constraint-Driven Explanations for Black-Box ML Models AAAI 2022 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020