The following pages link to Peter Barth (Q1265907):
Displayed 6 items.
- Modelling discrete optimisation problems in constraint logic programming (Q1265908) (← links)
- Logic-based 0-1 constraint programming (Q1906223) (← links)
- (Q2922522) (← links)
- (Q4282501) (← links)
- IWASAWA THEORY FOR ONE-PARAMETER FAMILIES OF MOTIVES (Q4909124) (← links)
- Simplifying clausal satisfiability problems (Q5096298) (← links)