Sciweavers

4524 search results - page 167 / 905
» The Complexity of Global Constraints
Sort
View
CCL
1994
Springer
15 years 5 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
218
Voted
ICDT
1995
ACM
105views Database» more  ICDT 1995»
15 years 4 months ago
Datalog Queries of Set Constraint Databases
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
Peter Z. Revesz
DATESO
2008
133views Database» more  DATESO 2008»
15 years 2 months ago
Incox - A Language for XML Integrity Constraints Description
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
Katerina Opocenska, Michal Kopecky
101
Voted
CSUR
2000
69views more  CSUR 2000»
15 years 19 days ago
The framework approach for constraint satisfaction
: Constraint satisfaction programming (CSP) is a powerful paradigm for solving complex combinatorial problems, which has gained a lot of attention recently. Putting the power of co...
Pierre Roy, Anne Liret, François Pachet
122
Voted
BMCBI
2007
109views more  BMCBI 2007»
15 years 28 days ago
Computational RNA secondary structure design: empirical complexity and improved methods
Background: We investigate the empirical complexity of the RNA secondary structure design problem, that is, the scaling of the typical difficulty of the design task for various cl...
Rosalía Aguirre-Hernández, Holger H....