ORCID as entered in ROS
![orcid_icon](/themes/resgate8/images/icons/ORCIDiD_icon24x24.png)
Select Publications
2005, 'Computing Super-schedules', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, pp. 879 - 879
,2005, 'Improved algorithm for finding (a,b)-super solutions', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, pp. 848 - 848
,2004, 'The complexity of global constraints', in Proceedings of the National Conference on Artificial Intelligence, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, San Jose, CA, pp. 112 - 117, presented at 19th National Conference on Artificial Intelligence/16th Conference on Innovative Applications of Artificial Intelligence, San Jose, CA, 25 July 2004 - 29 July 2004, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000226971400018&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
,2004, 'MCP Nets: Representing and reasoning with preferences of multiple agents', in Proceedings of the National Conference on Artificial Intelligence, pp. 729 - 734
,2004, 'Representing and reasoning with preferences', in Alferes JJ; Leite J (ed.), LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, SPRINGER-VERLAG BERLIN, PORTUGAL, Lisbon, pp. 1 - 1, presented at 9th European Conference on Logics in Artificial Intelligence (JELIA 04), PORTUGAL, Lisbon, 27 September 2004 - 30 September 2004, http://dx.doi.org/10.1007/978-3-540-30227-8_1
,2004, 'Disjoint, partition and intersection constraints for set and multiset variables', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 138 - 152, http://dx.doi.org/10.1007/978-3-540-30201-8_13
,2004, 'Local consistencies in SAT', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 299 - 314, http://dx.doi.org/10.1007/978-3-540-24605-3_23
,2004, 'Robust solutions for constraint satisfaction and optimization', in Frontiers in Artificial Intelligence and Applications, pp. 186 - 190
,2004, 'Solving non-clausal formulas with DPLL search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 663 - 678, http://dx.doi.org/10.1007/978-3-540-30201-8_48
,2004, 'Super solutions in constraint programming', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 157 - 172, http://dx.doi.org/10.1007/978-3-540-24664-0_11
,2004, 'The tractability of global constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 716 - 720, http://dx.doi.org/10.1007/978-3-540-30201-8_53
,2003, 'Multiset ordering constraints', in IJCAI International Joint Conference on Artificial Intelligence, pp. 221 - 226
,2003, 'Reasoning about soft constraints and conditional preferences: Complexity results and approximation techniques', in IJCAI International Joint Conference on Artificial Intelligence, pp. 215 - 220
,2003, 'Scenario-based stochastic constraint programming', in IJCAI International Joint Conference on Artificial Intelligence, pp. 257 - 262
,2003, 'Generating gray codes in O(1) worst-case time per word', in Calude CS; Dinneen MJ; Vajnovszki V (eds.), DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, SPRINGER-VERLAG BERLIN, FRANCE, DIJON, pp. 73 - 88, presented at 4th International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS 2003), FRANCE, DIJON, 07 July 2003 - 12 July 2003, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000185075200005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
,2003, 'CGRASS: A system for transforming constraint satisfaction problems', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 15 - 30, http://dx.doi.org/10.1007/3-540-36607-5_2
,2003, 'Consistency and propagation with multiset constraints: A formal viewpoint', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 724 - 738, http://dx.doi.org/10.1007/978-3-540-45193-8_49
,2003, 'Constraint patterns', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 53 - 64, http://dx.doi.org/10.1007/978-3-540-45193-8_4
,2002, 'Combining inference and search for the prepositional satisfiability problem', in Proceedings of the National Conference on Artificial Intelligence, pp. 982
,2002, 'The interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT', in Proceedings of the National Conference on Artificial Intelligence, pp. 695 - 700
,2002, 'Breaking row and column symmetry in matrix models', in Vidal T; Liberatore P (ed.), STAIRS 2002, PROCEEDINGS, IOS PRESS, FRANCE, LYON, pp. 207 - 216, presented at Starting Artificial Intelligence Researchers Symposium, FRANCE, LYON, 22 July 2002 - 23 July 2002, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000179109100028&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
,2002, 'Stochastic constraint programming', in VanHarmelen F (ed.), ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, I O S PRESS, FRANCE, CLAUDE BERNARD UNIV, LYON, pp. 111 - 115, presented at 15th European Conference on Artificial Intelligence, FRANCE, CLAUDE BERNARD UNIV, LYON, 21 July 2002 - 26 July 2002, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000178870500021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
,2002, 'A fixpoint based encoding for bounded model checking', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 238 - 255, http://dx.doi.org/10.1007/3-540-36126-x_15
,2002, 'Breaking row and column symmetries in matrix models', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 462 - 477, http://dx.doi.org/10.1007/3-540-46135-3_31
,2002, 'Global constraints for lexicographic orderings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 93 - 108, http://dx.doi.org/10.1007/3-540-46135-3_7
,2001, 'Backbones in optimization and approximation', in IJCAI International Joint Conference on Artificial Intelligence, pp. 254 - 259
,2001, 'Search on high degree graphs', in IJCAI International Joint Conference on Artificial Intelligence, pp. 266 - 271
,2001, 'Symposium on abstraction, reformulation, and approximation (SARA-2000)', in AI Magazine, pp. 137
,2001, 'Permutation problems and channelling constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 377 - 391, http://dx.doi.org/10.1007/3-540-45653-8_26
,2001, 'Principles and practice of constraint programming –CP2001: 7th international conference, CP 2001 Paphos, Cyprus, november 26 – december 1, 2001 proceedings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
,2001, 'Stochastic Constraint Programming', in AAAI Fall Symposium - Technical Report, pp. 129 - 135
,2000, 'Automatic Invention of Integer Sequences', in Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000, pp. 558 - 563
,2000, 'Decomposable constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 134 - 149, http://dx.doi.org/10.1007/3-540-44654-0_7
,2000, 'Reformulating propositional satisfiability as constraint satisfaction', in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), pp. 233 - 246, http://dx.doi.org/10.1007/3-540-44914-0_14
,2000, 'SAT v CSP', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 441 - 456, http://dx.doi.org/10.1007/3-540-45349-0_32
,2000, 'Singleton consistencies', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 353 - 368, http://dx.doi.org/10.1007/3-540-45349-0_26
,2000, 'Using auxiliary variables and implied constraints to model non-binary problems', in Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000, pp. 182 - 187
,1999, 'Automatic concept formation in pure mathematics', in IJCAI International Joint Conference on Artificial Intelligence, pp. 786 - 791
,1999, 'Search in a small world', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1172 - 1177
,1999, 'The difference all-difference makes', in IJCAI International Joint Conference on Artificial Intelligence, pp. 414 - 419
,1999, 'Beyond NP: the QSAT phase transition', in Proceedings of the National Conference on Artificial Intelligence, pp. 648 - 653
,1999, 'CSPLIB: A benchmark library for constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 480 - 481, http://dx.doi.org/10.1007/978-3-540-48085-3_36
,1999, 'Encodings of non-binary constraint satisfaction problems', in Proceedings of the National Conference on Artificial Intelligence, pp. 163 - 168
,1999, 'Morphing: combining structure and randomness', in Proceedings of the National Conference on Artificial Intelligence, pp. 654 - 660
,1998, 'Interleaved and discrepancy based search', in Prade H (ed.), ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, JOHN WILEY & SONS LTD, ENGLAND, BRIGHTON, pp. 239 - 243, presented at 13TH European Conference on Artificial Intelligence (ECAI 98), ENGLAND, BRIGHTON, 23 August 1998 - 28 August 1998, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000085168300056&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
,1998, 'Constrainedness knife-edge', in Proceedings of the National Conference on Artificial Intelligence, AMER ASSOC ARTIFICIAL INTELLIGENCE, MADISON, WI, pp. 406 - 411, presented at 15th National Conference on Artificial Intelligence (AAAI 98) / 10th Conference on Innovative Applications of Artificial Intelligence (IAAI 98), MADISON, WI, 26 July 1998 - 30 July 1998, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000076427500058&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
,1998, 'Random constraint satisfaction: Theory meets practice', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 325 - 339, http://dx.doi.org/10.1007/3-540-49481-2_24
,1997, 'From approximate t o optimal solutions: Constructing pruning and propagation rules', in Pollack ME (ed.), IJCAI International Joint Conference on Artificial Intelligence, MORGAN KAUFMANN PUB INC, NAGOYA, JAPAN, pp. 1396 - 1401, presented at 15th International Joint Conference on Artificial Intelligence, NAGOYA, JAPAN, 23 August 1997 - 29 August 1997, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000072707200201&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
,1997, 'Depth-bounded discrepancy search', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1388 - 1393
,1997, 'Scaling of search cost', in Proceedings of the National Conference on Artificial Intelligence, pp. 315 - 320
,