P. Barth

A Davis-Putnam based enumeration algorithm for linear pseudo-Boolean optimization

P. Barth, 1995 .

Max-planck-institut F Ur Informatik Linear 0 -1 Inequalities and Extended Clauses K I N F O R M a T I K Im Stadtwald D 66123 Saarbr Ucken Germany Author's Address

P. Barth, 2007 .

Finite domain and cutting plane techniques in CLP($\cal PB$)

P. Barth, A. Bockmayr, 1994 .

IWASAWA THEORY FOR ONE-PARAMETER FAMILIES OF MOTIVES

P. Barth, 2013 .

Modelling discrete optimisation problems inconstraint logic programming

Alexander Bockmayr, Peter Barth, P. Barth, 1998, Ann. Oper. Res..

Modelling mixed-integer optimisation problems in constraint logic programming

Alexander Bockmayr, Peter Barth, P. Barth, 1995 .

PLAM: ProLog and Algebraic Modelling

Alexander Bockmayr, Peter Barth, P. Barth, 1997 .