Pages that link to "Item:Q5415453"
From MaRDI portal
The following pages link to A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints (Q5415453):
Displaying 16 items.
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772) (← links)
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency (Q1685966) (← links)
- Encoding cardinality constraints using multiway merge selection networks (Q2009191) (← links)
- Stable states of Boolean regulatory networks composed over hexagonal grids (Q2130578) (← links)
- The sample analysis machine scheduling problem: definition and comparison of exact solving approaches (Q2146991) (← links)
- Coupling different integer encodings for SAT (Q2170178) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Delegatable Functional Signatures (Q2798783) (← links)
- Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers (Q2818024) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF (Q3453205) (← links)
- Incremental Encoding and Solving of Cardinality Constraints (Q3457805) (← links)
- (Q4472222) (← links)
- Resizing cardinality constraints for MaxSAT (Q5145443) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
- Comments on: ``An overview of curriculum-based course timetabling'' (Q5971107) (← links)
