Pages that link to "Item:Q2060735"

The following pages link to SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735):

Displaying 2 items.

• A constraint programming-based iterated greedy algorithm for the open shop with sequence-dependent processing times and makespan minimization (Q6068709) (← links)
• Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints (Q6154177) (← links)