Books
[2015] Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings (Laurent Michel), Springer, volume 9075, 2015. [bib] [pdf] [doi]
[2005] Constraint-Based Local Search (P. Van Hentenryck, L. Michel), The MIT Press, 2005. [bib]
[1997] Numerica: a Modeling Language for Global Optimization (P. Van Hentenryck, L. Michel, Y. Deville), The MIT Press, 1997. [bib]
Book Chapters
[2007] Chapter 17: Growing COMET (P. Van Hentenryck, L. Michel), Chapter in Trends in Constraint Programming, Wiley, 2007. [bib]
[2007] Chapter 9: Constraint Programming Tools (L. Michel, C. Schulte, P. Van Hentenryck), Chapter in Trends in Constraint Programming, Wiley, 2007. [bib]
[2006] Constraints in Procedural and Concurrent Languages (T. Fruhwirth, L. Michel, C. Schulte), Chapter in Constraint Programming Handbook (F. Rossi, P. van Beek, T. Walsh, eds.), Elsevier, 2006. [bib]
[2004] Chapter 9: Constrained Languages for Combinatorial Optimization (P. Van Hentenryck, L. Michel), Chapter in TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS IN OPERATIONS RESEARCH (H.J. Greenberg, ed.), Kluwer Academic Publishers Boston/Dordrecht/London, 2004. [bib]
[2004] Operations Research and Technology: Tutorials from INFORMS 2004 (P. Van Hentenryck, L. Michel), Chapter in Constraint Languages for Combinatorial Optimization, Kluwer Academic Publishers, 2004. [bib]
[2003] The OPL Studio Modeling System (P. Van Hentenryck, L. Michel, F. Paulin, J.F. Puget), Chapter in Modeling Languages in Mathematical Optimization, Kluwer Academic Publishers, 2003. [bib]
[2002] The Modeling Language OPL - A Short Overview (L. Michel, P. Van Hentenryck), Chapter in 9, Kluwer Academic Publishers, 2002. [bib]
[2000] OPL Script: Composing and Controlling Models (P. Van Hentenryck, L. Michel), Chapter in New Trends in Constraint Programming, Springer Verlag, 2000. [bib]
Journal Articles
[2016] A microkernel architecture for constraint programming (L. Michel, P. Van Hentenryck), In Constraints, 2016. [bib] [pdf] [doi]
[2015] Introduction to the fast track issue for CPAIOR 2015 (Laurent Michel), In Constraints, volume 20, 2015. [bib] [pdf] [doi]
[2012] The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces. (Hang Dinh, Hieu T. Dinh, Laurent Michel, Alexander Russell), In J. Artif. Intell. Res. (JAIR), volume 45, 2012. [bib] [pdf]
[2011] Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS (Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville), In Constraints, volume 16, 2011. [bib] [pdf] [doi]
[2011] Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS (Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville), In Constraints, volume 16, 2011. [bib]
[2011] Optimal deployment of eventually-serializable data services (Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck), In Annals OR, volume 184, 2011. [bib]
[2010] Short-Term Load Forecasting: Similar Day-Based Wavelet Neural Networks (Ying Chen, P.B. Luh, Che Guan, Yige Zhao, L.D. Michel, M.A. Coolbeth, P.B. Friedland, S.J. Rourke), In Power Systems, IEEE Transactions on, volume 25, 2010. [bib] [doi]
[2010] Integrating Access Control into UML for Secure Software Modeling and Analysis (Thuong Doan, Steven A. Demurjian, Laurent Michel, Solomon Berhe), In IJSSE, volume 1, 2010. [bib]
[2009] Online Selection of Quorum Systems for RAMBO Reconfiguration (Laurent Michel, Martijn Moraal, Alexander Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck), Chapter in Principles and Practice of Constraint Programming - CP 2009 (Ian Gent, ed.), Springer Berlin / Heidelberg, volume 5732, 2009. (10.1007/978-3-642-04244-7_10) [bib] [pdf]
[2009] Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services (Laurent Michel, Pascal Van Hentenryck, Elaine Sonderegger, Alexander Shvartsman, Martijn Moraal), Chapter in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Willem-Jan van Hoeve, John Hooker, eds.), Springer Berlin / Heidelberg, volume 5547, 2009. (10.1007/978-3-642-01929-6_15) [bib] [pdf]
[2009] Parallel and distributed local search in COMET (Laurent Michel, Andrew See, Pascal Van Hentenryck), In Comput. Oper. Res., Elsevier Science Ltd., volume 36, 2009. [bib] [pdf] [doi]
[2009] Transparent Parallelization of Constraint Programming (Laurent Michel, Andrew See, Pascal Van Hentenryck), In INFORMS JOURNAL ON COMPUTING, volume 21, 2009. [bib] [pdf] [doi]
[2009] Model-driven visualizations of constraint-based local search (Grégoire Dooms, Pascal Hentenryck, Laurent Michel), In Constraints, Kluwer Academic Publishers, volume 14, 2009. [bib] [pdf] [doi]
[2009] State-Wide Elections, Optical Scan Voting Systems, and the Pursuit of Integrity (Tigran Antonyan, Seda Davtyan, Sotirios Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Alexander A. Shvartsman), In Trans. Info. For. Sec., IEEE Press, volume 4, 2009. [bib] [pdf] [doi]
[2008] Optimal Deployment of Eventually-Serializable Data Services (Laurent Michel, Alexander Shvartsman, Eldine Sonderegger, Pascal Van Hentenryck), Chapter in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Laurent Perron, Michael Trick, eds.), Springer Berlin / Heidelberg, volume 5015, 2008. (10.1007/978-3-540-68155-7_16) [bib] [pdf]
[2006] Nondeterministic Control for Hybrid Search (Pascal Van Hentenryck, Laurent Michel), In Constraints, Kluwer Academic Publishers, volume 11, 2006. [bib] [pdf] [doi]
[2006] A simulated annealing approach to the traveling tournament problem (A. Anagnostopoulos, L. Michel, P. Van Hentenryck, Y. Vergados), In J. of Scheduling, Kluwer Academic Publishers, volume 9, 2006. [bib] [pdf] [doi]
[2005] Contraint-Based Combinators for Local Search (Pascal Hentenryck, Laurent Michel, Liyuan Liu), In Constraints, Kluwer Academic Publishers, volume 10, 2005. [bib] [pdf] [doi]
[2005] Control Abstractions for Local Search (P. Van Hentenryck, L. Michel), In Constraints, volume 10, 2005. [bib]
[2005] Maintaining Longest Paths Incrementally (I. Katriel, L. Michel, P. Van Hentenryck), In Constraints, volume 10, 2005. [bib]
[2004] A Decomposition-Based Implementation of Search Strategies (L. Michel, P. Van Hentenryck), In ACM Transactions on Computational Logic, 2004. [bib]
[2004] A Modeling Layer for Constraint-Programming Libraries (L. Michel, P. Van Hentenryck), In INFORMS Journal on Computing, 2004. (in press) [bib]
[2004] A Simple Tabu Search for Warehouse Location (L. Michel, P. Van Hentenryck), In European Journal of Operational Research, 2004. (in press) [bib]
[2000] Localizer (Laurent Michel, Pascal Van Hentenryck), In Constraints, Kluwer Academic Publishers, volume 5, 2000. [bib] [pdf] [doi]
[1999] Localizer: A Modeling Language for Local Search (L. Michel, P. Van Hentenryck), In Informs Journal on Computing, volume 11, 1999. [bib]
[1997] Newton: Constraint Programming over Nonlinear Constraints (P. Van Hentenryck, L. Michel, F. Benhamou), In Science of Computer Programming, 1997. ((to appear)) [bib]
[1997] Helios: A Modeling Language for Global Optimization and its Implementation in Newton (L. Michel, P. Van Hentenryck), In Theoretical Computer Science, volume 173, 1997. [bib]
Refereed Conference Papers
[2016] Parallel Composition of Scheduling Solvers (Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck), In Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings (Claude-Guy Quimper, ed.), Springer International Publishing, 2016. [bib] [pdf] [doi]
[2014] Domain Views for Constraint Programming (Pascal Van Hentenryck, Laurent Michel), In Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings (Barry O'Sullivan, ed.), Springer International Publishing, 2014. [bib] [pdf] [doi]
[2014] Constraint-Based Lagrangian Relaxation (Daniel Fontaine, LaurentMichel, Pascal Van Hentenryck), In Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings (Barry O'Sullivan, ed.), Springer International Publishing, 2014. [bib] [pdf] [doi]
[2013] The Objective-CP Optimization System (Pascal Van Hentenryck, Laurent Michel), In Principles and Practice of Constraint Programming: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings (Christian Schulte, ed.), Springer Berlin Heidelberg, 2013. [bib] [pdf] [doi]
[2013] Malicious Takeover of Voting Systems: Arbitrary Code Execution on Optical Scan Voting Terminals (Russell J. Jancewicz, Aggelos Kiayias, Laurent D. Michel, Alexander C. Russell, Alexander A. Shvartsman), In Proceedings of the 28th Annual ACM Symposium on Applied Computing, ACM, 2013. [bib] [pdf] [doi]
[2013] Model Combinators for Hybrid Optimization (Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck), In Principles and Practice of Constraint Programming: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings (Christian Schulte, ed.), Springer Berlin Heidelberg, 2013. [bib] [pdf] [doi]
[2013] Energy-efficient management of eco-communities (Bing Yan, Peter B. Luh, Biao Sun, Chen Song, Chenhui Dong, Zhongxue Gan, Laurent D. Michel), In CASE, IEEE, 2013. [bib] [doi]
[2012] Integrity of electronic voting systems: fallacious use of cryptography (Seda Davtyan, Aggelos Kiayias, Laurent Michel, Alexander Russell, Alexander A. Shvartsman), In Proceedings of the 27th Symposium on Applied Computing (Sascha Ossowski, Paola Lecca, eds.), ACM, 2012. [bib] [doi]
[2012] Activity-Based Search for Black-Box Constraint Programming Solvers (Laurent Michel, Pascal Van Hentenryck), In Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems: 9th International Conference, CPAIOR 2012, Nantes, France, May 28 -- June1, 2012. Proceedings (Nicolas Beldiceanu, Narendra Jussien, Éric Pinson, eds.), Springer Berlin Heidelberg, 2012. [bib] [pdf] [doi]
[2012] A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers (Daniel Fontaine, Laurent Michel), In Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems: 9th International Conference, CPAIOR 2012, Nantes, France, May 28 -- June1, 2012. Proceedings (Nicolas Beldiceanu, Narendra Jussien, Éric Pinson, eds.), Springer Berlin Heidelberg, 2012. [bib] [pdf] [doi]
[2011] Dual-tree M-band Wavelet Transform and Composite Very Short-term Load Forecasting (C. Guan, P. B. Luh, W. Cao, L. D. Michel, K. Cheung), In IEEE Power and Energy Society 2011, 2011. [bib]
[2011] Synthesis of Search Algorithms from High-Level CP Models (Samir A. Mohamed Elsayed, Laurent Michel), In CP, 2011. [bib]
[2011] Solving a combined routing and scheduling problem in forestry (J.-F. Audy, N. El Hachemi, L. Michel, L-M. Rousseau L.-M.), In Industrial Engineering and Systems Management (IESM), 2011. [bib]
[2010] Interacting multiple model approach for very short-term load forecasting and confidence interval estimation (Che Guan, P.B. Luh, L.D. Michel, Y. Bar-Shalom, P.B. Friedland), In Intelligent Control and Automation (WCICA), 2010 8th World Congress on, volume , 2010. [bib] [doi]
[2010] Hybrid Kalman algorithms for very short-term load forecasting and confidence interval estimation (Che Guan, P.B. Luh, L.D. Michel, M.A. Coolbeth, P.B. Friedland), In Power and Energy Society General Meeting, 2010 IEEE, volume , 2010. [bib] [doi]
[2010] Parallelizing constraint programs (Laurent D. Michel), In DAMP, 2010. [bib]
[2010] Load Balancing and Almost Symmetries for RAMBO Quorum Hosting (Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck), In CP, 2010. [bib]
[2009] Very Short-term Load Forecasting: Multilevel Wavelet Neural Networks with Data Pre-filtering (Che Guan, Peter B. Luh, L. Michel, Matthew A. Coolbeth, Yige Zhao, Ying Chen, Claude J. Manville, Peter B. Friedland, Stephen J. Rourke), In Proceedings of the 2009 PESGM conference, 2009. [bib]
[2009] Tempo: A Toolkit for The Timed Input/Output Automata Formalism (N. Lynch, L. Michel, A. A. Shvartsman), In , 2009. [bib] [pdf]
[2009] Taking total control of voting systems: firmware manipulations on an optical scan voting terminal (Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman), In Proceedings of the 2009 ACM symposium on Applied Computing, ACM, 2009. [bib] [pdf] [doi]
[2009] Optimizing Network Deployment of Formally-Specified Distributed Systems (Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck), In SEDE, 2009. [bib]
[2008] Incremental Accumulators (L. Michel, P. Van Hentenryck), In LaSh 2008: LOGIC AND SEARCH. Computation of structures from declarative descriptions, 2008. [bib]
[2008] Pre-election testing and post-election audit of optical scan voting terminal memory cards (Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman), In Proceedings of the conference on Electronic voting technology, USENIX Association, 2008. [bib] [pdf]
[2008] The Steel Mill Slab Design Problem Revisited (Pascal Van Hentenryck, Laurent Michel), In CPAIOR, 2008. [bib]
[2007] Coherent Modeling and Effective Coordination for Building Emergency Evacuation (Bo Xiong, P.B. Luh, Shi-Chung Chang, L. Michel, A. See), In Automation Science and Engineering. CASE 2007. (IEEE, ed.), 2007. [bib]
[2007] Model-driven visualizations of constraint-based local search (Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel), In Proceedings of the 13th international conference on Principles and practice of constraint programming, Springer-Verlag, 2007. [bib] [pdf]
[2007] Synthesis of constraint-based local search algorithms from high-level models (Pascal Van Hentenryck, Laurent Michel), In Proceedings of the 22nd national conference on Artificial intelligence - Volume 1, AAAI Press, 2007. [bib] [pdf]
[2007] Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting (A. Kiayias, L. Michel, A. Russell, N. Shashidhar, A. See, A. Shvartsman, S. Davtyan), In Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual, volume , 2007. [bib] [doi]
[2007] Parallelizing Constraint Programs Transparently (L Michel, A See, Pascal Hentenryck), In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, 2007. [bib]
[2006] Differentiable Invariants (P. Van Hentenryck, L. Michel), In 12th International Conference on Principles and Practice of Constraint Programming. (CP'06), 2006. [bib]
[2006] Distributed Constraint-Based Local Search (L. Michel, A. See, P. Van Hentenryck), In 12th International Conference on Principles and Practice of Constraint Programming. (CP'06), 2006. [bib]
[2006] High-Level Nondeterministic Abstractions in C++ (L. Michel, A. See, P. Van Hentenryck), In 12th International Conference on Principles and Practice of Constraint Programming. (CP'06), 2006. [bib]
[2005] Nondeterministic Control for Hybrid Search (Pascal . Hentenryck, Laurent Michel), In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005 (Roman Barták, Michela Milano, eds.), Springer Verlag GmbH, volume 3524, 2005. [bib]
[2005] Coherent Configuration and Operation of Building Transportation Systems (P.B. Luh, L. Michel, E. Jr. Santos, Danqing Yu, A. See, Bo Xiong, G. Johnson, Shi Chung Chang), In Automation Science and Engineering, 2005. [bib]
[2005] Role Slices: A Notation for RBAC Permission Assignment and Enforcement (J. A. Pavlich-mariscal, T. Doan, L. Michel, S. A. Demurjian, T. C. Ting), In In: Proceedings of 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security. (2005, 2005. [bib]
[2005] A formal enforcement framework for role-based access control using aspect-oriented programming (Jaime Pavlich-mariscal, Laurent Michel, Steven Demurjian), In ACM/IEEE 8th Intl. Conf. on Model Driven Engineering Languages and Systems, Montego, 2005. [bib]
[2005] Nondeterministic Control For Hybrid Search (P. Van Hentenryck, L. Michel), In Proceedings of the Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR'04), 2005. [bib]
[2005] Parallel Local Search in Comet. (L. Michel, P. Van Hentenryck), In CP, 2005. [bib]
[2004] Iterative Relaxations for Iterative Flattening in Cumulative Scheduling (L. Michel, P. Van Hentenryck), In 14th International Conference on Automated Planning & Scheduling (ICAPS'04), 2004. [bib]
[2004] Scheduling Abstractions for Local Search (P. Van Hentenryck, L. Michel), In Proceedings of the First International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR'04), 2004. [bib]
[2004] Constraint-Based Combinators for Local Search (P. Van Hentenryck, L. Michel, L. Liu), In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming, 2004. [bib]
[2003] Comet in Context (L. Michel, P. Van Hentenryck), In PCK50, 2003. [bib]
[2003] Maintaining Longest Paths Incrementally (L. Michel, P. Van Hentenryck), In CP'03, 2003. [bib]
[2003] A Simulated Annealing Approach to the Traveling Tournament Problem (A. Anagnostopoulos, L. Michel, P. Van Hentenryck, Y. Vergados), In Proceedings CPAIOR'03, 2003. [bib]
[2003] Control Abstractions for Local Search (P. Van Hentenryck, L. Michel), In Ninth International Conference on Principles and Practice of Constraint Programming, 2003. ((Best Paper Award)) [bib]
[2003] Maintaining Longest Path Incrementally (L. Michel, P. Van Hentenryck), In Ninth International Conference on Principles and Practice of Constraint Programming, 2003. [bib]
[2002] A constraint-based architecture for local search (Laurent Michel, Pascal Van Hentenryck), In Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, ACM, 2002. [bib] [pdf] [doi]
[2001] Modeler++: A Modeling Layer for Constraint Programming Libraries (L. Michel, P. Van Hentenryck), In CP-AI-OR'2001, 2001. [bib]
[1999] Constraint Programming in OPL (P. Van Hentenryck, L. Michel, L. Perron, J.C. Regin), In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP'99), 1999. ((Invited Paper)) [bib]
[1999] Combinatorial Optimization in OPL Studio (P. Van Hentenryck, L. Michel, P. Laborie, W. Nuijten, J. Rogerie), In Proceedings of the 9th Portuguese Conference on Artificial Intelligence International Conference (EPIA'99), 1999. ((Invited Paper)) [bib]
[1997] Localizer: A Modeling Language for Local Search (L. Michel, P. Van Hentenryck), In Third International Conference on the Principles and Practice of Constraint Programming (CP'97), 1997. [bib]
Refereed Workshop Papers
[2014] A Systematic Approach to Analyzing Voting Terminal Event Logs (Laurent D. Michel, Alexander A. Shvartsman, Nikolaj Volgushev), In 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 14), USENIX Association, 2014. [bib] [pdf]
[2011] A Large-Scale Neighborhood Search Approach to Matrix Decomposition into Consecutive-Ones Matrices (D. Fontaine, L. Michel), In Proceedings of the 8th Workshop on Local Search techniques in Constraint Satisfaction, 2011. [bib]
[2009] Automating Voting Terminal Event Log Analysis (Tigran Antonyan, Seda Davtyan, Sotirios Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Alexander Shvartsman), In Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections, USENIX Association, 2009. [bib] [pdf]
[2007] Enhancing UML to Model Custom Security Aspects (S. Demurjian, J. Pavlich-Mariscal, L. Michel), In Proceedings of the 11th International Workshop. on Aspect-Oriented Modeling, 2007. [bib]
[2007] An authentication and Ballot layout attack against an optical scan voting terminal (Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Shashidhar, Andrew See, Alexander A. Shvartsman), In Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology, USENIX Association, 2007. [bib] [pdf]
[1993] The Impact of Granularity in Abstract Interpretation of Prolog (P. Van Hentenryck, O. Degimbe, B. Le Charlier, L. Michel), In International Workshop on Static Analysis (WSA-93), 1993. ((Invited Paper)) [bib]
[1993] Practical Efficiency of Three General Purpose Fixpoint Algorithms applied to the Abstract Intepretation of Prolog (O. Degimbe, B. Le Charlier, L. Michel, P. Van Hentenryck), In International Workshop on Static Analysis (WSA-93), 1993. [bib]
[1993] Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog (Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck), In Proceedings of the Third International Workshop on Static Analysis, Springer-Verlag, 1993. [bib] [pdf]
Other Publications
[2011] Activity-Based Search for Black-Box Contraint-Programming Solvers (Laurent D. Michel, Pascal Van Hentenryck), Technical report, , volume abs/1105.6314, 2011. [bib]
[2005] Constraint-Based Local Search with Comet (L. Michel, P. Van Hentenryck), 2005. [bib]
[2004] Scheduling Abstractions for Local Search (P. Van Hentenryck, L. Michel), Technical report, Brown University, 2004. [bib]
[1998] Localizer: A Modeling Language for Local Search (L. Michel), PhD thesis, Brown University, 1998. [bib]
[1993] Abstract Interpretation of Prolog Based on OLDT-Resolution (P. Van Hentenryck, O. Degimbe, B. Le Charlier, L. Michel), Technical report, CS Department, 1993. [bib]
Powered by bibtexbrowser