| Publication | Date of Publication | Type |
|---|
Polyhedral relaxations for optimal pump scheduling of potable water distribution networks
INFORMS Journal on Computing | 2024-09-05 | Paper |
<scp>Large‐scale</scp> zone‐based evacuation planning, Part <scp>II</scp>: Macroscopic and microscopic evaluations
Networks | 2023-12-11 | Paper |
Large‐scale zone‐based evacuation planning—Part I: Models and algorithms
Networks | 2023-12-11 | Paper |
Real-Time Risk Analysis with Optimization Proxies
| 2023-10-01 | Paper |
On the Benefits of Stochastic Economic Dispatch in Real-Time Electricity Markets
| 2023-08-11 | Paper |
Revitalizing Public Transit in Low Ridership Areas: An Exploration of On-Demand Multimodal Transit Systems
| 2023-08-02 | Paper |
Optimizing Autonomous Transfer Hub Networks: Quantifying the Potential Impact of Self-Driving Trucks
| 2023-05-04 | Paper |
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks
| 2023-05-04 | Paper |
Column Generation for Real-Time Ride-Sharing Operations
| 2023-03-04 | Paper |
Bilevel optimization for on-demand multimodal transit systems
| 2022-12-21 | Paper |
Transfer-expanded graphs for on-demand multimodal transit systems
| 2022-12-21 | Paper |
Heuristic Algorithms for Integrating Latent Demand into the Design of Large-Scale On-Demand Multimodal Transit Systems
| 2022-12-06 | Paper |
Privacy-Preserving Convex Optimization: When Differential Privacy Meets Stochastic Programming
| 2022-09-28 | Paper |
Benders Subproblem Decomposition for Bilevel Problems with Convex Follower
INFORMS Journal on Computing | 2022-07-01 | Paper |
Optimization Models for Autonomous Transfer Hub Networks
| 2022-01-16 | Paper |
A Linear Outer Approximation of Line Losses for DC-based Optimal Power Flow Problems
| 2021-12-20 | Paper |
The flexible and real-time commute trip sharing problems
Constraints | 2021-12-16 | Paper |
MiniCP: a lightweight solver for constraint programming
Mathematical Programming Computation | 2021-11-16 | Paper |
Market segmentation in online platforms
European Journal of Operational Research | 2021-11-09 | Paper |
Differential privacy of hierarchical census data: an optimization approach
Artificial Intelligence | 2021-11-02 | Paper |
Optimizing Freight Operations for Autonomous Transfer Hub Networks
| 2021-10-23 | Paper |
The Bicycle Network Improvement Problem
| 2021-07-09 | Paper |
Nutmeg: a MIP and CP hybrid solver using branch-and-check
SN Operations Research Forum | 2021-02-08 | Paper |
Communication-Constrained Expansion Planning for Resilient Distribution Systems
INFORMS Journal on Computing | 2021-02-01 | Paper |
Ridesharing and Fleet Sizing For On-Demand Multimodal Transit Systems
| 2021-01-26 | Paper |
Resiliency of On-Demand Multimodal Transit Systems During a Pandemic
| 2021-01-13 | Paper |
Capturing Travel Mode Adoption in Designing On-demand Multimodal Transit Systems
| 2021-01-04 | Paper |
Commuting with Autonomous Vehicles: A Branch and Cut Algorithm with Redundant Modeling
| 2021-01-04 | Paper |
Dynamic compressor optimization in natural gas pipeline systems
INFORMS Journal on Computing | 2020-12-02 | Paper |
Exact Mixed-integer Convex Programming Formulation for Optimal Water Network Design
| 2020-10-07 | Paper |
Constraint programming models for integrated container terminal operations
European Journal of Operational Research | 2020-06-17 | Paper |
Bilevel Optimization for On-Demand Multimodal Transit Systems
| 2019-12-05 | Paper |
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems
| 2019-12-04 | Paper |
Differentially Private Distributed Optimal Power Flow
| 2019-10-22 | Paper |
Column generation for real-time ride-sharing operations
| 2019-10-14 | Paper |
An Exact and Scalable Problem Decomposition for Security-Constrained Optimal Power Flow
| 2019-10-08 | Paper |
Graphical models and belief propagation hierarchy for physics-constrained network flows
| 2019-09-18 | Paper |
The Power Grid Library for Benchmarking AC Optimal Power Flow Algorithms
| 2019-08-07 | Paper |
\textsc{OptStream}: releasing time series privately
Journal of Artificial Intelligence Research | 2019-08-06 | Paper |
Unit Commitment With Gas Network Awareness
| 2019-02-08 | Paper |
Assortment optimization under the sequential multinomial logit model
European Journal of Operational Research | 2018-12-06 | Paper |
Constraint and mathematical programming models for integrated port container terminal operations
| 2018-11-21 | Paper |
Constrained-based differential privacy: releasing optimal power flow benchmarks privately
| 2018-11-21 | Paper |
Phase Transitions for Optimality Gaps in Optimal Power Flows A Study on the French Transmission Network
| 2018-07-14 | Paper |
Bargaining mechanisms for one-way games
Games | 2018-07-10 | Paper |
Popularity signals in trial-offer markets with social influence and position bias
European Journal of Operational Research | 2018-05-30 | Paper |
A microkernel architecture for constraint programming
Constraints | 2018-03-28 | Paper |
Optimization of Structural Flood Mitigation Strategies
| 2018-03-01 | Paper |
Graphical models for optimal power flow
Constraints | 2018-02-22 | Paper |
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems
Mathematical Programming Computation | 2018-01-08 | Paper |
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations
| 2017-12-14 | Paper |
A branch-and-price-and-check model for the vehicle routing problem with location congestion
Constraints | 2017-08-16 | Paper |
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Search and strategies in OPL
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Convex relaxations for gas expansion planning
INFORMS Journal on Computing | 2017-02-08 | Paper |
Optimal flood mitigation over flood propagation approximations
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Parallel composition of scheduling solvers
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Assortment optimization under a multinomial logit model with position bias and social influence
4OR | 2016-03-29 | Paper |
Strengthening the SDP Relaxation of AC Power Flows with Convex Envelopes, Bound Tightening, and Lifted Nonlinear Cuts
| 2015-12-14 | Paper |
A column-generation approach for joint mobilization and evacuation planning
Constraints | 2015-11-09 | Paper |
Polynomial SDP Cuts for Optimal Power Flow
| 2015-10-27 | Paper |
Transmission system repair and restoration
Mathematical Programming. Series A. Series B | 2015-06-19 | Paper |
Constraint programming: strategic directions
Constraints | 2015-06-15 | Paper |
Constraint programming for combinatorial search problems
Constraints | 2015-06-15 | Paper |
Optimal and efficient filtering algorithms for table constraints
Constraints | 2015-04-29 | Paper |
A linear-programming approximation of AC power flows
INFORMS Journal on Computing | 2015-01-26 | Paper |
LS(graph): a constraint-based local search for constraint optimization on trees and paths
Constraints | 2015-01-22 | Paper |
Domain consistency with forbidden values
Constraints | 2014-12-12 | Paper |
Edge finding for cumulative scheduling
INFORMS Journal on Computing | 2012-07-28 | Paper |
Transparent parallelization of constraint programming
INFORMS Journal on Computing | 2012-07-28 | Paper |
Constraint-based very large-scale neighborhood search
Constraints | 2012-07-10 | Paper |
A modeling layer for constraint-programming libraries
INFORMS Journal on Computing | 2012-06-18 | Paper |
Constraint and integer programming in OPL
INFORMS Journal on Computing | 2012-05-30 | Paper |
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization
Annals of Operations Research | 2011-06-22 | Paper |
Optimal deployment of eventually-serializable data services
Annals of Operations Research | 2011-06-22 | Paper |
Identifying patterns in sequences of variables
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
Spatial and objective decompositions for very large SCAPs
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
Online stochastic optimization under time constraints
Annals of Operations Research | 2010-10-04 | Paper |
scientific article; zbMATH DE number 5775425 (Why is no real title available?)
| 2010-08-27 | Paper |
Revisiting the soft global cardinality constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
Boosting set constraint propagation for network design
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
Constraint-based local search for constrained optimum paths problems
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
CPBPV: a constraint-programming framework for bounded program verification
Constraints | 2010-05-05 | Paper |
Principles and Practice of Constraint Programming – CP 2003
Lecture Notes in Computer Science | 2010-03-02 | Paper |
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Maintaining longest paths incrementally
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Online stochastic reservation systems
Annals of Operations Research | 2010-02-01 | Paper |
Dynamic structural symmetry breaking for constraint satisfaction problems
Constraints | 2009-11-16 | Paper |
Model-driven visualizations of constraint-based local search
Constraints | 2009-08-06 | Paper |
Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers
Operations Research | 2009-07-17 | Paper |
Parallel and distributed local search in COMET
Computers & Operations Research | 2009-04-03 | Paper |
Distributed Constraint-Based Local Search
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Parallel Local Search in Comet
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Maintaining Longest Paths in Cyclic Graphs
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Sub-optimality Approximations
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Differentiable Invariants
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Gap Reduction Techniques for Online Stochastic Project Scheduling
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Strong polynomiality of resource constraint propagation
Discrete Optimization | 2008-05-14 | Paper |
Nondeterministic Control for Hybrid Search
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
Scheduling Social Golfers Locally
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
Scheduling social tournaments locally
| 2008-01-14 | Paper |
Local search-based hybrid algorithms for finding Golomb rulers
Constraints | 2007-10-11 | Paper |
A simulated annealing approach to the traveling tournament problem
Journal of Scheduling | 2007-05-15 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Nondeterministic control for hybrid search
Constraints | 2007-01-05 | Paper |
Contraint-based combinators for local search
Constraints | 2006-11-03 | Paper |
Maintaining longest paths incrementally
Constraints | 2006-02-23 | Paper |
Control abstractions for local search
Constraints | 2006-02-23 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows
Computers & Operations Research | 2005-11-01 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Safe and tight linear estimators for global optimization
Mathematical Programming. Series A. Series B | 2005-04-29 | Paper |
A simple tabu search for warehouse location
European Journal of Operational Research | 2005-01-12 | Paper |
A simple and deterministic competitive algorithm for online facility location
Information and Computation | 2005-01-11 | Paper |
scientific article; zbMATH DE number 2084729 (Why is no real title available?)
| 2004-08-09 | Paper |
On the complexity of the robust spanning tree problem with interval data
Operations Research Letters | 2004-07-01 | Paper |
Precisely A(\({\alpha}\))-stable one-leg multistep methods
BIT | 2004-03-15 | Paper |
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Localizer: A Modeling Language for Local Search
INFORMS Journal on Computing | 2003-12-16 | Paper |
Consistency techniques in ordinary differential equations
Constraints | 2003-05-04 | Paper |
A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
SIAM Journal on Numerical Analysis | 2003-01-05 | Paper |
scientific article; zbMATH DE number 1760137 (Why is no real title available?)
| 2002-11-06 | Paper |
Localizer
Constraints | 2002-07-22 | Paper |
scientific article; zbMATH DE number 1737612 (Why is no real title available?)
| 2002-05-05 | Paper |
Combinations of abstract domains for logic programming: Open product and generic pattern construction
Science of Computer Programming | 2000-09-14 | Paper |
scientific article; zbMATH DE number 1487983 (Why is no real title available?)
| 2000-08-10 | Paper |
scientific article; zbMATH DE number 1406244 (Why is no real title available?)
| 2000-07-20 | Paper |
Constraint satisfaction over connected row-convex constraints
Artificial Intelligence | 1999-06-21 | Paper |
Design, implementation, and evaluation of the constraint language cc(FD)
The Journal of Logic Programming | 1999-05-31 | Paper |
Reexecution in abstract interpretation of prolog
Acta Informatica | 1999-05-05 | Paper |
A gentle introduction to Numerica
Artificial Intelligence | 1999-01-12 | Paper |
A constraint satisfaction approach to a circuit design problem
Journal of Global Optimization | 1998-11-08 | Paper |
\textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
Theoretical Computer Science | 1998-07-23 | Paper |
Redundancy elimination with a lexicographic solved form
Annals of Mathematics and Artificial Intelligence | 1998-05-25 | Paper |
Newton: Constraint programming over nonlinear constraints
Science of Computer Programming | 1998-03-24 | Paper |
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis | 1997-11-02 | Paper |
In Memoriam: Paris C. Kanellakis
The Journal of Logic Programming | 1997-06-09 | Paper |
Standard forms for rational linear arithmetic in constraint logic programming.
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Evaluation of the domain prop
The Journal of Logic Programming | 1997-03-17 | Paper |
Type analysis of prolog using type graphs
The Journal of Logic Programming | 1995-04-06 | Paper |
scientific article; zbMATH DE number 549964 (Why is no real title available?)
| 1994-05-06 | Paper |
Constraint satisfaction using constraint logic programming
Artificial Intelligence | 1993-04-01 | Paper |
A generic arc-consistency algorithm and its specializations
Artificial Intelligence | 1993-01-17 | Paper |
Solving a cutting-stock problem with the constraint logic programming language CHIP
Mathematical and Computer Modelling | 1993-01-16 | Paper |
scientific article; zbMATH DE number 67482 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 4209573 (Why is no real title available?)
| 1991-01-01 | Paper |
Simulation of hybrid circuits in constraint logic programming
Computers & Mathematics with Applications | 1990-01-01 | Paper |
Solving large combinatorial problems in logic programming
The Journal of Logic Programming | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4162324 (Why is no real title available?)
| 1989-01-01 | Paper |
A logic language for combinatorial optimization
Annals of Operations Research | 1989-01-01 | Paper |
Extended unification algorithms for the integration of functional programming into logic programming
The Journal of Logic Programming | 1987-01-01 | Paper |
Path-Based Formulations for the Design of On-demand Multimodal Transit Systems with Adoption Awareness
| N/A | Paper |
The Impact of Congestion and Dedicated Lanes on On-Demand Multimodal Transit Systems
| N/A | Paper |
Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
| N/A | Paper |
