Co-occurring keywords · papers mentioning both
Papers
The Impact of Literal Sorting on Cardinality Constraint Encodings
AAAI 2025
Exact ASP Counting with Compact Encodings
AAAI 2024
Learning Better Representations From Less Data For Propositional Satisfiability
NeurIPS 2024
A Symbolic Approach to Computing Disjunctive Association Rules from Data
IJCAI 2023
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022
Predicting Propositional Satisfiability via End-to-End Learning
AAAI 2020
SAT-Based Explicit LTLf Satisfiability Checking
AAAI 2019
Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT
IJCAI 2019
Cardinality Encodings for Graph Optimization Problems
IJCAI 2017
Learning Chordal Markov Networks by Constraint Satisfaction
NeurIPS 2013