Efficient CNF encoding of Boolean cardinality constraints
From MaRDI portal
Recommendations
Cited in
(58)- Weighted positive binary decision diagrams for exact probabilistic inference
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
- N-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints
- Multi-agent path finding with mutex propagation
- A SAT encoding to compute aperiodic tiling rhythmic canons
- On preprocessing for weighted MaxSAT
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Propagation via lazy clause generation
- Iterative and core-guided maxsat solving: a survey and assessment
- On an MCS-based inconsistency measure
- A Boolean satisfiability approach to the resource-constrained project scheduling problem
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- QMaxSATpb: a certified MaxSAT solver
- Perfect hashing and CNF encodings of cardinality constraints
- Efficient Generation of Small Interpolants in CNF
- Detecting cardinality constraints in CNF
- Exploiting resolution-based representations for MaxSAT solving
- GAC Via Unit Propagation
- Towards Robust CNF Encodings of Cardinality Constraints
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Circuit Based Encoding of CNF Formula
- Cardinality Networks and Their Applications
- New Encodings of Pseudo-Boolean Constraints into CNF
- Curriculum-based course timetabling with SAT and MaxSAT
- Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
- Boolean satisfiability in quantum compilation
- On using incremental encodings in unsatisfiability-based MaxSAT solving
- Hard satisfiable 3-SAT instances via autocorrelation
- Learning Optimal Decision Sets and Lists with SAT
- Comparing integer linear programming to SAT-solving for hard problems in computational and systems biology
- Resizing cardinality constraints for MaxSAT
- Efficient SAT-based encodings of conditional cardinality constraints
- Cardinality networks: a theoretical and empirical study
- An efficient strategy to construct a better differential on multiple-branch-based designs: application to Orthros
- Computing optimal hypertree decompositions with SAT
- Solving satisfiability problems with preferences
- Exact and approximate determination of the Pareto front using minimal correction subsets
- Certified Core-Guided MaxSAT Solving
- New core-guided and hitting set algorithms for multi-objective combinatorial optimization
- SAT-boosted tabu search for coloring massive graphs
- Parallel SAT framework to find clustering of differential characteristics and its applications
- CNF encodings of symmetric functions
- Unsatisfiability-based algorithms for multi-objective combinatorial optimization
- Lower bounds for book Ramsey numbers
- Finding connections via satisfiability solving
- Quantum circuit mapping based on incremental and parallel SAT solving
- Computing and certifying twin-width using logic
- On extracting legal arguments
- Revisiting pseudo-Boolean encodings from an integer perspective
- Gray-box runtime enforcement of hyperproperties
- Computing aperiodic tiling rhythmic canons via SAT models
- Declarative approaches to outcome determination in judgment aggregation
- North-east lattice paths avoiding k collinear points via satisfiability
- An efficient approach to solving random \(k\)-SAT problems
- Some computational aspects of DISTANCE SAT
- Sorting nine inputs requires twenty-five comparisons
This page was built for publication: Efficient CNF encoding of Boolean cardinality constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897193)
