"On Quantifying Literals in Boolean Logic and its Applications to ..."

Adnan Darwiche, Pierre Marquis (2022)

Details and statistics

DOI: 10.24963/IJCAI.2022/797

access: open

type: Conference or Workshop Paper

metadata version: 2022-10-02