Co-occurring keywords · papers mentioning both
Papers
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
IJCAI 2024
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
IJCAI 2023
On Continuous Local BDD-Based Search for Hybrid SAT Solving
AAAI 2021
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
IJCAI 2020
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
IJCAI 2019
Pseudo-Boolean Constraints from a Knowledge Representation Perspective
IJCAI 2018
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems
IJCAI 2017