Pages that link to "Item:Q5222954"
From MaRDI portal
The following pages link to Efficient SAT-Based Encodings of Conditional Cardinality Constraints (Q5222954):
Displaying 4 items.
- Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models (Q785238) (← links)
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency (Q1685966) (← links)
- Incremental Encoding and Solving of Cardinality Constraints (Q3457805) (← links)
- More Efficient Match-Making and Satisfiability The Five Card Trick (Q5110898) (← links)
