scientific article; zbMATH DE number 5139168
From MaRDI portal
Publication:3429162
Recommendations
- scientific article; zbMATH DE number 5139161
- scientific article; zbMATH DE number 1670770
- Boolean satisfiability with transitivity constraints
- SAT encodings of pseudo-Boolean constraints with at-most-one relations
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints
- Bridging constraint satisfaction and Boolean satisfiability
- New Encodings of Pseudo-Boolean Constraints into CNF
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques
Cited in
(26)- Exact and approximate determination of the Pareto front using minimal correction subsets
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints
- Cardinality networks: a theoretical and empirical study
- Boolean satisfiability with transitivity constraints
- Optimal base encodings for pseudo-Boolean constraints
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques
- New Encodings of Pseudo-Boolean Constraints into CNF
- Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models
- Boolean lexicographic optimization: algorithms \& applications
- PBLib -- a library for encoding pseudo-Boolean constraints into CNF
- Constrained pseudo-propositional logic
- Improving the normalization of weight rules in answer set programs
- GAC Via Unit Propagation
- Algorithms for Weighted Boolean Optimization
- scientific article; zbMATH DE number 5139161 (Why is no real title available?)
- Simplifying pseudo-Boolean constraints in residual number systems
- Clausal proofs for pseudo-Boolean reasoning
- BDDs for pseudo-Boolean constraints -- revisited
- Encoding cardinality constraints using multiway merge selection networks
- scientific article; zbMATH DE number 5139167 (Why is no real title available?)
- Towards Robust CNF Encodings of Cardinality Constraints
- Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers
- Decomposing SAT Instances with Pseudo Backbones
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- A New Look at BDDs for Pseudo-Boolean Constraints
- Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3429162)
