conftrace_

pseudo-boolean constraint

6 papers

Explore in graph

Co-occurring keywords

combinatorial optimization (1039) constraint reasoning (10) mutation operator (4) clause learning (10) decision diagram (19) sat encoding (13) proof complexity (8) constraint learning (25) boolean variable (3) constraint encoding (5)

Papers

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