Pages that link to "Item:Q2060735"
From MaRDI portal
The following pages link to SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735):
Displaying 5 items.
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT (Q2009185) (← links)
- (Q3429154) (← links)
- (Q3429162) (← links)
- 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)