Speeding up operations on feature terms using constraint programming and variable symmetry

&
Artificial Intelligence 220 (C):104-120 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.11.010

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

External links

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

Through your library

My notes

Similar books and articles

Variable symmetry breaking in numerical constraint problems.Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo & Carme Torras - 2015 - Artificial Intelligence 229 (C):105-125.
Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.
Speeding up inferences using relevance reasoning: a formalism and algorithms.Alon Y. Levy, Richard E. Fikes & Yehoshua Sagiv - 1997 - Artificial Intelligence 97 (1-2):83-136.
Computational molecular biology: A promising application using logic programming and constraint logic programming.J. Cohen - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.
Open constraint programming.Boi Faltings & Santiago Macho-Gonzalez - 2005 - Artificial Intelligence 161 (1-2):181-208.
Constrained clustering by constraint programming.Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain - 2017 - Artificial Intelligence 244:70-94.
Itemset mining: A constraint programming perspective.Tias Guns, Siegfried Nijssen & Luc De Raedt - 2011 - Artificial Intelligence 175 (12-13):1951-1983.
Implementing logical connectives in constraint programming.Christopher Jefferson, Neil C. A. Moore, Peter Nightingale & Karen E. Petrie - 2010 - Artificial Intelligence 174 (16-17):1407-1429.
Confidence-based reasoning in stochastic constraint programming.Roberto Rossi, Brahim Hnich, S. Armagan Tarim & Steven Prestwich - 2015 - Artificial Intelligence 228 (C):129-152.
Reasoning from last conflict(s) in constraint programming.Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary & Vincent Vidal - 2009 - Artificial Intelligence 173 (18):1592-1614.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,589,825)

6 months
4 (#1,279,871)

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

The domain of set-valued feature structures.M. Andrew Moshier & Carl J. Pollard - 1994 - Linguistics and Philosophy 17 (6):607-631.

Add more references