000			02872nas a22003375i 4500
001			1572-9354
003			DE-He213
005			20260610082532.0
007			cr nn 008mamaa
008			150723s||||||||xxuuu poo|||||| b|EN |d
022			_a1572-9354
024	7		_a10.1007/10601.1572-9354 _2doi
210	1	0	_aConstraints
245	1	0	_aConstraints _h[electronic resource] : _bAn International Journal / _cedited by Helmut Simonis, Mark Wallace.
264		1	_aNew York : _bSpringer US : _bImprint: Springer.
300			_bonline resource.
520			_aConstraints provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed. It covers all aspects of computing with constraints: theory and practice, algorithms and systems, reasoning and programming, logics and languages. Relevant disciplines and application domains include, but are not limited to: Disciplines: Artificial Intelligence, Automated Reasoning, Combinatorial Algorithms, Databases, Discrete Mathematics, Operations Research, Programming Languages, Satisfiability and Computational Logic Domains: Agents, Bioinformatics, Design and Configuration, Graphics, Visualization, User Interfaces, Human-Computer Interaction and Decision Support, Robotics, Machine Vision and Computational Linguistics, Scheduling, Planning, Resource Allocation, Temporal and Spatial Reasoning Papers that cut across disciplinary lines, or that combine theory and practice, are especially welcome. The journal will also consider: Survey papers that provide a full-length, state-of-the-art review on a well-defined topic; Application papers presenting applications of Constraint Programming in areas such as industry, education, health and government. Papers describing real-life oriented benchmark problems, especially comparing constraint formulations with other solution techniques, will also be considered; Letters presenting important technical results, experimental results providing a relevant evaluation of a previously proposed algorithm, or improvements and corrections of results already in the literature. Officially cited as: Constraints.
650		0	_aArtificial intelligence.
650		0	_aMathematical optimization.
650		0	_aOperations research.
650		0	_aManagement science.
650	1	4	_aArtificial Intelligence.
650	2	4	_aOptimization.
650	2	4	_aOperations Research, Management Science.
700	1		_aSimonis, Helmut. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aWallace, Mark. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
776	0	8	_iPrinted version: _x1383-7133
856	4	0	_uhttps://doi.org/10.1007/10601.1572-9354 _zHybrid
999			_c4358 _d4358