Variable symmetry breaking in numerical constraint problems

, , &
Artificial Intelligence 229 (C):105-125 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.08.006

Links

PhilArchive



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

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

Speeding up operations on feature terms using constraint programming and variable symmetry.Santiago Ontañón & Pedro Meseguer - 2015 - Artificial Intelligence 220 (C):104-120.
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems.Jimmy H. M. Lee & Allen Z. Zhong - 2023 - Artificial Intelligence 323 (C):103974.
Towards breaking more composition symmetries in partial symmetry breaking.Jimmy H. M. Lee & Zichen Zhu - 2017 - Artificial Intelligence 252 (C):51-82.
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination.Martin C. Cooper, Peter G. Jeavons & András Z. Salamon - 2010 - Artificial Intelligence 174 (9-10):570-584.
Finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints.Feifei Ma & Jian Zhang - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 247--259.
Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem.Norman Sadeh & Mark S. Fox - 1996 - Artificial Intelligence 86 (1):1-41.
Compiling constraint satisfaction problems.Rainer Weigel & Boi Faltings - 1999 - Artificial Intelligence 115 (2):257-287.
SYM-1, a program that detects symmetry of variable-valued logic functions.Gerald M. Jensen - 1975 - Urbana: Dept of Computer Science, University of Illinois at Urbana-Champaign.
Exploiting the deep structure of constraint problems.Colin P. Williams & Tad Hogg - 1994 - Artificial Intelligence 70 (1-2):73-117.
Solving quantified constraint satisfaction problems.Ian P. Gent, Peter Nightingale, Andrew Rowley & Kostas Stergiou - 2008 - Artificial Intelligence 172 (6-7):738-771.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,483,069)

6 months
4 (#862,849)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Add more references