000			03326nam a22004095i 4500
001			294849
003			MX-SnUAN
005			20170705134231.0
007			cr nn 008mamaa
008			150903s2005 gw | o |||| 0|eng d
020			_a9783540322528 _99783540322528
024	7		_a10.1007/b106890 _2doi
035			_avtls000348274
039		9	_a201509030233 _bVLOAD _c201405070459 _dVLOAD _y201402071024 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQ334-342
100	1		_aFaltings, Boi V. _eeditor. _9328781
245	1	0	_aRecent Advances in Constraints : _bJoint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / _cedited by Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005.
300			_ax, 217 páginas Also available online. _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v3419
500			_aSpringer eBooks
505	0		_aConstraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems.
520			_aThis book constitutes the thoroughly refereed and extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004. Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop. The 15 revised full papers were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on constraint propagation, constraint search, and applications.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aPetcu, Adrian. _eeditor. _9328782
700	1		_aFages, François. _eeditor. _9328783
700	1		_aRossi, Francesca. _eeditor. _9328784
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540251767
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b106890 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c294849 _d294849