Efficient CNF encoding of Boolean cardinality constraints
From MaRDI portal
Publication:5897193
Recommendations
Cited in
(47)- Parallel SAT framework to find clustering of differential characteristics and its applications
- Exact and approximate determination of the Pareto front using minimal correction subsets
- On preprocessing for weighted MaxSAT
- Computing optimal hypertree decompositions with SAT
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints
- Learning Optimal Decision Sets and Lists with SAT
- Circuit Based Encoding of CNF Formula
- On an MCS-based inconsistency measure
- Cardinality networks: a theoretical and empirical study
- Comparing integer linear programming to SAT-solving for hard problems in computational and systems biology
- Solving satisfiability problems with preferences
- Propagation via lazy clause generation
- Resizing cardinality constraints for MaxSAT
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- New Encodings of Pseudo-Boolean Constraints into CNF
- An efficient approach to solving random \(k\)-SAT problems
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
- SAT-boosted tabu search for coloring massive graphs
- Boolean satisfiability in quantum compilation
- Efficient Generation of Small Interpolants in CNF
- Some computational aspects of DISTANCE SAT
- Certified Core-Guided MaxSAT Solving
- Multi-agent path finding with mutex propagation
- GAC Via Unit Propagation
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Detecting cardinality constraints in CNF
- A Boolean satisfiability approach to the resource-constrained project scheduling problem
- An efficient strategy to construct a better differential on multiple-branch-based designs: application to Orthros
- New core-guided and hitting set algorithms for multi-objective combinatorial optimization
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
- On using incremental encodings in unsatisfiability-based MaxSAT solving
- Weighted positive binary decision diagrams for exact probabilistic inference
- Iterative and core-guided maxsat solving: a survey and assessment
- Sorting nine inputs requires twenty-five comparisons
- Efficient SAT-based encodings of conditional cardinality constraints
- Curriculum-based course timetabling with SAT and MaxSAT
- Towards Robust CNF Encodings of Cardinality Constraints
- Cardinality Networks and Their Applications
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- CNF encodings of symmetric functions
- Exploiting resolution-based representations for MaxSAT solving
- QMaxSATpb: a certified MaxSAT solver
- Perfect hashing and CNF encodings of cardinality constraints
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- A SAT encoding to compute aperiodic tiling rhythmic canons
- Hard satisfiable 3-SAT instances via autocorrelation
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)
