The following pages link to Alba Cabiscol (Q2643306):
Displayed 7 items.
- Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307) (← links)
- (Q2741541) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- Sequential Encodings from Max-CSP into Partial Max-SAT (Q3637165) (← links)
- (Q4438827) (← links)
- (Q4475627) (← links)
- (Q4583677) (← links)