A binary constraint, in mathematical optimization, is a constraint that involves exactly two variables. For example, consider the n-queens problemâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- Zheng-Feng Ji
- ArXiv
- 2013

A binary constraint system game is a two-player one-round non-local game defined by a system of Boolean constraints. The game hasâ€¦Â (More)

Is this relevant?

2009

2009

- Ã‰tienne Payet, FrÃ©dÃ©ric Mesnard
- TPLP
- 2009

On the one hand, termination analysis of logic programs is now a fairly established research topic within the logic programmingâ€¦Â (More)

Is this relevant?

2008

2008

- Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
- ECAI
- 2008

Constraint networks in qualitative spatial and temporal reasoning are always complete graphs. When one adds an extra element to aâ€¦Â (More)

Is this relevant?

2008

2008

GQR (Generic Qualitative Reasoner) is a solver for binary qualitative constraint networks. GQR takes a calculus description andâ€¦Â (More)

Is this relevant?

2007

2007

- V. L. Lo, R. P. Millane
- 2007

Iterative projection algorithms can be an effective method for solving image reconstruction problems with limited data byâ€¦Â (More)

Is this relevant?

2005

2005

- Chris Unsworth, Patrick Prosser
- SARA
- 2005

We present a specialised binary constraint for the stable marriage problem. This constraint acts between a pair of integerâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Peter B. Ladkin, Roger D. Maddux
- J. ACM
- 1994

The concepts of binary constraint satisfaction problems can be naturally generalized to the relation algebras of Tarski. Theâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Frank Vahid, Daniel Gajski, Jie Gong
- EURO-DAC
- 1994

Partitioning a system's functionality among interacting hardware and software components is an important part of system designâ€¦Â (More)

Is this relevant?

Highly Cited

1988

Highly Cited

1988

It is well-known that general constraint satisfaction problems (CSPs) may be reduced to the binary case (BCSPs) Pei92]. CSPs mayâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- Eugene C. Freuder, Michael J. Quinn
- IJCAI
- 1985

Binary constraint sat is fact ion problems involve f ind ing values for variables subject to constraints between pairs ofâ€¦Â (More)

Is this relevant?