Representing and Solving Finite−Domain Constraint Problems Using Systems of Polynomials

Representing and Solving Finite−Domain Constraint Problems Using Systems of Polynomials

Mostra altre versioni (2)

In this paper we investigate the use of a system of multivariate polynomials to represent the restrictions imposed by a collection of constraints. The advantage of using polynomials to represent constraints is that it allows many different forms of constraints to be treated in a uniform way. Systems...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Jefferson, C, Jeavons, P, Green, M, van Dongen, M
Natura:	Report
Pubblicazione:	Oxford University Computing Laboratory 2007

Documenti analoghi

Representing and solving finite-domain constraint problems using systems of polynomials
di: Jefferson, C, et al.
Pubblicazione: (2013)

Representing and solving finite−domain constraint problems using systems of polynomials
di: Jefferson, C, et al.
Pubblicazione: (2013)

Constraint satisfaction problems and finite algebras
di: Bulatov, A, et al.
Pubblicazione: (2000)

Constraint satisfaction problems and finite algebras
di: Bulatov, A, et al.
Pubblicazione: (2000)

A polynomial time solution to constraint satisfaction problems by neural−like P systems
di: Xu, L, et al.
Pubblicazione: (2013)

Tractable Constraints on Ordered Domains
di: P.G.Jeavons, et al.
Pubblicazione: (1995)

Representing by Orthogonal Polynomials for Sums of Finite Products of Fubini Polynomials
di: Dae San Kim, et al.
Pubblicazione: (2019-03-01)

Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
di: Milan Banković
Pubblicazione: (2017-04-01)

Finite semigroups imposing tractable constraints
di: Bulatov, A, et al.
Pubblicazione: (2002)

Symmetry definitions for constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2006)

Symmetry definitions for constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2005)

Symmetry definitions for constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2005)

Symmetry definitions for constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2006)

Representing by several orthogonal polynomials for sums of finite products of Chebyshev polynomials of the first kind and Lucas polynomials
di: Taekyun Kim, et al.
Pubblicazione: (2019-04-01)

Classifying the complexity of constraints using finite algebras
di: Bulatov, A, et al.
Pubblicazione: (2005)

Classifying the complexity of constraints using finite algebras
di: Bulatov, A, et al.
Pubblicazione: (2005)

Representing fitness landscapes by valued constraints to understand the complexity of local search
di: Kaznatcheev, A, et al.
Pubblicazione: (2019)

Finite difference method and algebraic polynomial interpolation for numerically solving Poisson's equation over arbitrary domains
di: Tsugio Fukuchi
Pubblicazione: (2014-06-01)

Constraint satisfaction problems on intervals and lengths
di: Krokhin, A, et al.
Pubblicazione: (2004)

Constraint satisfaction problems on intervals and lengths
di: Krokhin, A, et al.
Pubblicazione: (2004)

Solving polynomial systems using continuation for engineering and scientific problems /
di: Morgan, Alexander, 1945-
Pubblicazione: (c200)

Robust DOF control for uncertain polynomial fuzzy systems in finite frequency domain
di: Redouane Chaibi, et al.
Pubblicazione: (2021-12-01)

Expressiveness of Binary Constraints for the Frequency Assignment Problem
di: N.W.Dunkin, et al.
Pubblicazione: (1997)

A Survey of Tractable Constraint Satisfaction Problems
di: J.K.Pearson, et al.
Pubblicazione: (1997)

A unified theory of structural tractability for constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2008)

A complete characterization of complexity for Boolean constraint optimization problems
di: Cohen, D, et al.
Pubblicazione: (2004)

A unified theory of structural tractability for constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2008)

A complete characterization of complexity for boolean constraint optimization problems
di: Cohen, D, et al.
Pubblicazione: (2004)

Fast Finite Difference Time Domain Algorithms for Solving Antenna Application Problem
di: Hasan, Mohammad Khatim
Pubblicazione: (2008)

Binarisation for valued constraint satisfaction problems
di: Cohen, D, et al.
Pubblicazione: (2017)

Decomposing Constraint Satisfaction Problems Using Database Techniques
di: M.Gyssens, et al.
Pubblicazione: (1994)

Binary constraint satisfaction problems defined by excluded topological minors
di: Cohen, D, et al.
Pubblicazione: (2018)

Constraint symmetry and solution symmetry
di: Cohen, D, et al.
Pubblicazione: (2006)

Representing Constraint Systems with Omega
di: Koton, Phyllis A.
Pubblicazione: (2008)

Presenting Constraints
di: Jeavons, P
Pubblicazione: (2009)

Presenting Constraints
di: Jeavons, P
Pubblicazione: (2009)

On the prime values represented by polynomials
di: Foo, Timothy
Pubblicazione: (2013)

Representing polynomial of ST-CONNECTIVITY
di: Jānis Iraids, et al.
Pubblicazione: (2024-04-01)

Representing and solving decision problems with limited information
di: Lauritzen, S, et al.
Pubblicazione: (2001)

Improved Finite Difference Technique via Adomian Polynomial to Solve the Coupled Drinfeld’s–Sokolov–Wilson System
di: Israa Th. Younis, et al.
Pubblicazione: (2023-01-01)