Pages that link to "Item:Q256655"

The following pages link to Set constraint model and automated encoding into SAT: application to the social golfer problem (Q256655):

Displayed 1 item.

• Scheduling reach mahjong tournaments using pseudoboolean constraints (Q2118316) ‎ (← links)