{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:49:00Z","timestamp":1729619340580,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/ictai.2014.14","type":"proceedings-article","created":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T23:47:48Z","timestamp":1419983268000},"page":"16-23","source":"Crossref","is-referenced-by-count":1,"title":["Probing-Based Variable Selection Heuristics for NCSPs"],"prefix":"10.1109","author":[{"given":"Victor","family":"Reyes","sequence":"first","affiliation":[]},{"given":"Ignacio","family":"Araya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","article-title":"A Reliable Affine Relaxation Method for Global Optimization","author":"ninin","year":"2010","journal-title":"IRIT Tech Rep RT-APO-10-05"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2005.08.037"},{"key":"ref11","article-title":"Affine relaxation method for global optimization","author":"ninin","year":"2011","journal-title":"Math Program accepted for publication"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v25i1.7817","article-title":"Inner regions and interval linearizations for global optimization","author":"trombettoni","year":"2011","journal-title":"AAAI"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29828-8_1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142995281528"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/78928.78931"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33558-7_23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/321296.321300"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/359094.359101"},{"key":"ref19","first-page":"61","article-title":"Mac and combined heuristics: Two reasons to forsake fc (and cbj?) on hard problems","author":"bessiere","year":"1996","journal-title":"Principles and Practices of Constraint Programming"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16437-5_15"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2013.151"},{"article-title":"Definition et Applications des Extensions des Fonctions Reelles aux Intervalles Generalises: Nouvelle Formulation de la Theorie des Intervalles Modaux et Nouveaux Resultats","year":"2005","author":"goldsztejn","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","author":"van hentenryck","year":"1997","journal-title":"Numerica A Modeling Language for Global Optimization"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2013.138"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(95)00135-K"},{"key":"ref8","article-title":"Revising hull and box consistency","author":"benhamou","year":"1999","journal-title":"Int Conf on Logic Programming"},{"key":"ref7","article-title":"Interval analysis","volume":"60","author":"moore","year":"1966"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"ref9","article-title":"Exploiting monotonicity in interval constraint propagation","author":"araya","year":"0","journal-title":"AAAI' 2010"},{"journal-title":"Interval Methods for Systems of Equations","year":"1990","author":"neumaier","key":"ref1"},{"key":"ref20","first-page":"146","article-title":"Boosting systematic search by weighting constraints","volume":"16","author":"boussemart","year":"2004","journal-title":"ECAI"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11402763_4"},{"key":"ref21","first-page":"249","article-title":"Trying harder to fail first","author":"smith","year":"1998","journal-title":"13th European Conf on AI"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29828-8_15"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90051-X"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-3-540-30201-8_41","article-title":"Impact-based search strategies for constraint programming","author":"refalo","year":"2004","journal-title":"Principles and Practice of Constraint Programming - CP 2004"},{"key":"ref25","first-page":"146","article-title":"Boosting systematic search by weighting constraints","volume":"16","author":"boussemart","year":"2004","journal-title":"ECAI"}],"event":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI)","start":{"date-parts":[[2014,11,10]]},"location":"Limassol, Cyprus","end":{"date-parts":[[2014,11,12]]}},"container-title":["2014 IEEE 26th International Conference on Tools with Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979774\/6983902\/06984370.pdf?arnumber=6984370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T06:44:09Z","timestamp":1690785849000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6984370\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ictai.2014.14","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}