Exploiting functional dependencies in declarative problem specifications
type: Item
instance of: scholarly article
title: Exploiting functional dependencies in declarative problem specifications
zbMATH Open document ID: 1168.68552
author: Toni Mancini
author: Marco Cadoli
published in: Artificial Intelligence
publication date: 2009-07-09T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5576706
zbMATH Keywords: modeling
zbMATH Keywords: reformulation
zbMATH Keywords: second-order logic
zbMATH Keywords: constraint satisfaction problems
describes a project that uses: OTTER
describes a project that uses: AMPL
MaRDI profile type: Publication
full work available at URL: j.artint.2007.04.017
OpenAlex ID: W2039733104
cites work: Constraint satisfaction from a deductive viewpoint
cites work: Q4536717
cites work: Q5691140
cites work: Q4203815
cites work: Automated reformulation of specifications by safe delay of constraints
cites work: AI*IA 2005: Advances in Artificial Intelligence
cites work: Compiling problem specifications into SAT
cites work: The complexity of Unique \(k\)-SAT: An isolation lemma for \(k\)-CNFs
cites work: Model theory.
cites work: Increasing constraint propagation by redundant modeling: An experience report
cites work: Q4255575
cites work: Q4058132
cites work: Q4198056
cites work: Q4518913
cites work: A theory of abstraction
cites work: Existence of nontrivial solutions of certain linear and nonlinear convolution-type equations
cites work: Q4385516
cites work: The DLV system for knowledge representation and reasoning
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Q3856120
cites work: Q3221403
cites work: NP is as easy as detecting unique solutions
cites work: Permutation Problems and Channelling Constraints
DOI: 10.1016/J.ARTINT.2007.04.017
description: scientific article; zbMATH DE number 5576706