Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
From MaRDI portal
Publication:2974776
DOI10.2168/LMCS-12(3:5)2016zbMath1405.68320arXiv1607.02466MaRDI QIDQ2974776
Publication date: 11 April 2017
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.02466
Analysis of algorithms (68W40) Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Uses Software
Cites Work
This page was built for publication: Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$