A parametric propagator for pairs of Sum constraints with a discrete convexity property

Artificial Intelligence 241:170-190 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dependent pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
A Pigeonhole Property for Relational Structures.Anthony Bonato & Dejan Delić - 1999 - Mathematical Logic Quarterly 45 (3):409-413.
Convexity and Differentiability of Controlled Risk.L. I. Krechetov - 2004 - Theory and Decision 57 (4):291-307.
Fundamental results for pointfree convex geometry.Yoshihiro Maruyama - 2010 - Annals of Pure and Applied Logic 161 (12):1486-1501.
Constructive notions of strict convexity.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):295-300.
Distal and non-distal pairs.Philipp Hieronymi & Travis Nell - 2017 - Journal of Symbolic Logic 82 (1):375-383.
T-convexity and Tame extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Periodicity based decidable classes in a first order timed logic.D. Beauquier & S. Slissenko - 2006 - Annals of Pure and Applied Logic 139 (1-3):43-73.
$t$-convexity And Tame Extensions.Lou van den Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74-102.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,544,856)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Properties of tree convex constraints.Yuanlin Zhang & Eugene C. Freuder - 2008 - Artificial Intelligence 172 (12-13):1605-1612.

Add more references