scientific article
From MaRDI portal
Publication:3429162
zbMath1116.68078MaRDI QIDQ3429162
Olivier Roussel, Yacine Boufkhad, Olivier Bailleux
Publication date: 30 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Improving the Normalization of Weight Rules in Answer Set Programs ⋮ Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem ⋮ Exact and approximate determination of the Pareto front using minimal correction subsets ⋮ Boolean lexicographic optimization: algorithms \& applications ⋮ Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers ⋮ Towards Robust CNF Encodings of Cardinality Constraints ⋮ Optimal Base Encodings for Pseudo-Boolean Constraints ⋮ BDDs for Pseudo-Boolean Constraints – Revisited ⋮ Cardinality networks: a theoretical and empirical study ⋮ \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT ⋮ Encoding cardinality constraints using multiway merge selection networks ⋮ New Encodings of Pseudo-Boolean Constraints into CNF ⋮ Algorithms for Weighted Boolean Optimization ⋮ Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models
Uses Software
This page was built for publication:
