MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic Programming with Pseudo-Boolean Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Cutting Planes in Constraint Logic Programming
by Alexander Bockmayr — 1994
… for the constraint logic programming language CLP(PB) for logic programming with pseudo-Boolean constraints. Our…
Cited by 4 (2 self) – Add To MetaCart

Finite Domain and Cutting Plane Techniques in CLP(PB)
by Alexander Bockmayr, Peter Barth, Peter Barth, Er Bockmayr — 1994
…(PB) for logic programming with pseudo-Boolean constraints was introduced in [8]. Let C be a set of pseudo-Boolean…
Cited by 4 (2 self) – Add To MetaCart

Linear 0-1 Inequalities and Extended Clauses
by Peter Barth, Peter Barth, Im Stadtwald, Im Stadtwald — 1994
… logic programming, pseudo-Boolean constraints, 0-1 integer programming, extended clauses, extended cover…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB