Pascal Van Hentenryck

Q: What Schools Are Affiliated With Pascal Van Hentenryck

Pascal Van Hentenryck is affiliated with the following schools: Australian National University, Brown University, Université de Namur, Université catholique de Louvain, University of Melbourne, University of Michigan, Georgia Tech

Pascal Van Hentenryck's AcademicInfluence.com Rankings

Computer Science

#1737

World Rank

#1800

Historical Rank

Programming

#34

World Rank

#36

Historical Rank

Theoretical Computer Science

#42

World Rank

#42

Historical Rank

Artificial Intelligence

#285

World Rank

#290

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Pascal Van Hentenryck's Degrees

PhD Computer Science Université catholique de Louvain
Masters Computer Science Université catholique de Louvain
Bachelors Computer Science Université catholique de Louvain

Similar Degrees You Can Earn

Why Is Pascal Van Hentenryck Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Pascal Van Hentenryck is the A. Russell Chandler III Chair and Professor of Industrial and Systems Engineering at Georgia Tech. He is credited with pioneering advances in constraint programming and stochastic optimization, bridging theory and practice to solve real-world problems across a range of domains including sports scheduling, protein folding, kidney matching, disaster relief, power systems, recommender systems, and transportation. He has developed several optimization technologies including CHIP, Numerica, the Optimization Programming Language , and Comet. He has also published several books, including Online Stochastic Combinatorial Optimization, Hybrid Optimization, and Constraint-Based Local Search.

(See a Problem?)

Pascal Van Hentenryck's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Constraint satisfaction in logic programming (1989) (1503)
The Constraint Logic Programming Language CHIP (1988) (705)
The OPL optimization programming language (1999) (603)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings (2007) (502)
A Generic Arc-Consistency Algorithm and its Specializations (1992) (501)
Rapid assessment of disaster damage using social media activity (2016) (467)
Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers (2004) (450)
Principles and Practice of Constraint Programming (1995) (434)
A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows (2004) (383)
Numerica: A Modeling Language for Global Optimization (1997) (364)
CLP(Intervals) Revisited (1994) (350)
Solving Polynomial Systems Using a Branch and Prune Approach (1997) (329)
Design, Implementation, and Evaluation of the Constraint Language cc(FD) (1994) (313)
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows (2003) (294)
Transportation Research Part C (2021) (288)
A Linear-Programming Approximation of AC Power Flows (2012) (264)
Solving Large Combinatorial Problems in Logic Programming (1990) (211)
Solving the Car-Sequencing Problem in Constraint Logic Programming (1988) (206)
Online stochastic combinatorial optimization (2006) (195)
A simulated annealing approach to the traveling tournament problem (2006) (179)
The QC Relaxation: A Theoretical and Computational Study on Optimal Power Flow (2017) (174)
Constraint Satisfaction Using Constraint Logic Programming (1992) (171)
AC-Feasibility on Tree Networks is NP-Hard (2014) (166)
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG (1992) (162)
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming (1990) (160)
A simple tabu search for warehouse location (2004) (160)
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems (2017) (158)
Expecting to be HIP: Hawkes Intensity Processes for Social Media Popularity (2016) (147)
Strategic directions in constraint programming (1996) (138)
Prediction and behavioral analysis of travel mode choice: A comparison of machine learning and logit models (2020) (134)
Constraint-based local search (2018) (127)
Performance of Social Network Sensors during Hurricane Sandy (2014) (121)
Generality versus Specificity: An Experience with AI and OR Techniques (1988) (117)
Type analysis of Prolog using type graphs (1994) (116)
Activity-Based Search for Black-Box Constraint Programming Solvers (2011) (115)
Constraint processing in cc(fd) (1992) (113)
Convex Relaxations for Gas Expansion Planning (2015) (109)
Constraint Programming in OPL (1999) (102)
Battle of the Water Networks II (2014) (102)
Principles and practice of constraint programming: The Newport papers (1995) (96)
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution (2010) (95)
Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods (2019) (95)
An Efficient Arc Consistency Algorithm for a Class of CSP Problems (1991) (95)
Localizer: A Modeling Language for Local Search (1997) (90)
A constraint-based architecture for local search (2002) (86)
Strengthening the SDP Relaxation of AC Power Flows With Convex Envelopes, Bound Tightening, and Valid Inequalities (2017) (85)
Search and strategies in OPL (2000) (84)
The QC relaxation: A theoretical and computational study on optimal power flow (2016) (82)
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing (2007) (82)
Regrets Only! Online Stochastic Optimization under Time Constraints (2004) (79)
Constraint and Integer Programming in OPL (2002) (79)
Combinations of abstract domains for logic programming (1994) (77)
A Conflict-Based Path-Generation Heuristic for Evacuation Planning (2013) (76)
CPBPV: a constraint-programming framework for bounded program verification (2008) (76)
To Be or Not to Be ... a Global Constraint (2003) (75)
A Generic Abstract Interpretation Algorithm and its Complexity Analysis (1990) (74)
On the complexity of the robust spanning tree problem with interval data (2004) (73)
Constraint logic programming (1991) (72)
End-to-End Constrained Optimization Learning: A Survey (2021) (72)
Vehicle routing for the last mile of power system restoration (2010) (71)
Approximating line losses and apparent power in AC power flow linearizations (2012) (71)
Differentiable Invariants (2006) (69)
Newton - Constraint Programming over Nonlinear Constraints (1998) (69)
Benders Decomposition for the Design of a Hub and Shuttle Public Transit System (2015) (69)
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys (1989) (68)
Constraint Satisfaction over Connected Row Convex Constraints (1999) (67)
Edge Finding for Cumulative Scheduling (2008) (65)
A Universal Top-Down Fixpoint Algorithm (1992) (65)
Parallelizing Constraint Programs Transparently (2007) (64)
Solving a Cutting-Stock Problem in Constraint Logic Programming (1988) (63)
Convex Optimization for Joint Expansion Planning of Natural Gas and Power Systems (2016) (62)
Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization (2015) (62)
Consistency Techniques in Ordinary Differential Equations (1998) (61)
Residential Demand Response under Uncertainty (2013) (61)
On Lattice Protein Structure Prediction Revisited (2011) (61)
Online stochastic optimization under time constraints (2005) (60)
Scalable Load Balancing in Nurse to Patient Assignment Problems (2009) (56)
Evaluation of the Domain Prop (1995) (56)
Last-Mile Restoration for Multiple Interdependent Infrastructures (2012) (54)
The Value of Consensus in Online Stochastic Scheduling (2004) (54)
A simple and deterministic competitive algorithm for online facility location (2004) (53)
Structural Symmetry Breaking (2005) (51)
A Constraint Satisfaction Approach to a Circuit Design Problem (1996) (50)
Simulation of Hybrid Circuits in Constraint Logic Programming (1989) (48)
Transparent Parallelization of Constraint Programming (2009) (48)
Control Abstractions for Local Search (2003) (48)
The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow (2015) (48)
Hybrid optimization : the ten years of CPAIOR (2011) (47)
Tractable Symmetry Breaking for CSPs with Interchangeable Values (2003) (47)
Incremental Constraint Satisfaction in Logic Programming (1990) (46)
Transmission system repair and restoration (2015) (46)
Strategic stockpiling of power system supplies for disaster recovery (2011) (46)
Constraint Programming Languages (1993) (45)
Optimal Resilient transmission Grid Design (2016) (45)
Cardinality Analysis of Prolog (1994) (45)
Forward Checking in Logic Programming (1987) (45)
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut (1994) (44)
Primal and dual bounds for Optimal Transmission Switching (2014) (43)
Computing folding pathways between RNA secondary structures (2009) (42)
Combinations of abstract domains for logic programming: open product and generic pattern construction (2000) (42)
Parameterized interfaces for open system verification of product lines (2004) (42)
Assortment optimization under a multinomial logit model with position bias and social influence (2014) (42)
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling (2011) (41)
Applications of CHIP to industrial and engineering problems (1988) (41)
Operational Semantics of Constraint Logic Programming over Finite Domains (1990) (40)
Dynamic Vehicle Routing with Stochastic Requests (2003) (40)
Online Stochastic and Robust Optimization (2004) (40)
Joint Electricity and Natural Gas Transmission Planning With Endogenous Market Feedbacks (2018) (39)
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling (2004) (39)
Large Neighborhood Search for Dial-a-Ride Problems (2011) (39)
Transmission system restoration with co-optimization of repairs, load pickups, and generation dispatch☆ (2015) (38)
Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluation (1993) (38)
Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach (2020) (38)
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs (2007) (38)
Groundness analysis for Prolog: implementation and evaluation of domain prop (1993) (37)
Polynomial SDP cuts for Optimal Power Flow (2015) (37)
Domains in Logic Programming (1986) (37)
Local Search-based Hybrid Algorithms for Finding Golomb Rulers (2007) (37)
Improved CLP Scheduling with Task Intervals (1994) (37)
Localizer++: An Open Library for local Search (2001) (37)
Lagrangian Duality for Constrained Deep Learning (2020) (36)
Transmission System Restoration: Co-optimization of repairs, load pickups, and generation dispatch (2014) (36)
A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data (2002) (36)
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming (1987) (35)
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search (2008) (35)
Differential Privacy for Power Grid Obfuscation (2019) (35)
Proceedings of the eleventh international conference on Logic programming (1994) (35)
Extending Equation Solving and Constraint Handling in Logic Programming (1989) (34)
Network flow and copper plate relaxations for AC transmission systems (2015) (34)
Maintaining Longest Paths Incrementally (2003) (34)
Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art (2001) (34)
Assortment Optimization under the Sequential Multinomial Logit Model (2017) (34)
Crowdsourcing contest dilemma (2014) (33)
Population-Based Simulated Annealing for Traveling Tournaments (2007) (33)
Length-Lex Ordering for Set CSPs (2006) (32)
The Acceptability Semantics for Logic Programs (1994) (32)
Static and dynamic structural symmetry breaking (2006) (32)
A Gentle Introduction to NUMERICA (1998) (32)
Nondeterministic Control for Hybrid Search (2005) (32)
Transmission Network Expansion Planning: Bridging the gap between AC heuristics and DC approximations (2014) (30)
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization (2008) (30)
Unit Commitment With Gas Network Awareness (2019) (29)
Scheduling and Packing in the Constraint Language cc(FD) (1992) (29)
Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling (2006) (29)
Scheduling Social Golfers Locally (2005) (29)
A simple hybrid evolutionary algorithm for finding Golomb rulers (2005) (29)
Constraint Solving for Combinatorial Search Problems: A Tutorial (1995) (28)
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models (2007) (28)
A logic language for combinatorial optimization (1990) (28)
Online stochastic reservation systems (2006) (27)
Online Stochastic Optimization Without Distributions (2005) (27)
Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility (2012) (27)
A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows (2015) (27)
Constraint Satisfaction over Bit-Vectors (2012) (27)
Aeon: Synthesizing Scheduling Algorithms from High-Level Models (2009) (26)
Efficient dynamic compressor optimization in natural gas transmission systems (2015) (26)
The Steel Mill Slab Design Problem Revisited (2008) (26)
Accurate load and generation scheduling for linearized DC models with contingencies (2012) (26)
Parallel and distributed local search in COMET (2009) (26)
A column-generation approach for joint mobilization and evacuation planning (2015) (26)
Localizer (2004) (26)
Distributed Constraint-Based Local Search (2006) (26)
A branch-and-price-and-check model for the vehicle routing problem with location congestion (2016) (25)
The Benefits of Social Influence in Optimized Cultural Markets (2015) (25)
Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately - Releasing Optimal Power Flow Benchmarks Privately (2018) (25)
A Memetic Approach to Golomb Rulers (2006) (25)
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows (2010) (25)
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration (2012) (25)
Dynamic Compressor Optimization in Natural Gas Pipeline Systems (2019) (25)
Teaching creative problem solving in a MOOC (2014) (25)
A Theoretical Framework for Consistency Techniques in Logic Programming (1987) (25)
Convergent Plans for Large-Scale Evacuations (2015) (25)
Constraint-Based Combinators for Local Search (2004) (24)
Compositional Derivation of Symmetries for Constraint Satisfaction (2005) (24)
Safe and tight linear estimators for global optimization (2005) (24)
A Note on Low Autocorrelation Binary Sequences (2006) (24)
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog (1993) (24)
The Impact of Granularity in Abstract Interpretation of Prolog (1993) (24)
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows (2007) (24)
NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows (2014) (23)
Principles and Practice of Constraint Programming - CP 2002 (2002) (23)
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201) (2011) (23)
Just-In-Time Scheduling with Constraint Programming (2009) (23)
ACE: And/Or-parallel Copying-based Execution of Logic Programs (1994) (23)
Programmation par contraintes (2000) (23)
Combining Deep Learning and Optimization for Preventive Security-Constrained DC Optimal Power Flow (2021) (22)
Column Generation for Real-Time Ride-Sharing Operations (2019) (22)
Graphical models for optimal power flow (2016) (22)
A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations (2002) (21)
Privacy-Preserving Power System Obfuscation: A Bilevel Optimization Approach (2020) (21)
The Comet Programming Language and System (2005) (21)
Incremental Algorithms for Constraint Solving and Entailment over Rational Trees (1993) (20)
OPL Script: Composing and Controlling Models (1999) (20)
Decision Making with Differential Privacy under a Fairness Lens (2021) (20)
Mobility-on-demand versus fixed-route transit systems: An evaluation of traveler preferences in low-income communities (2019) (20)
The Complexity of DC-Switching Problems (2014) (20)
Benders Decomposition for Large-Scale Prescriptive Evacuations (2016) (20)
DistFlow Extensions for AC Transmission Systems (2015) (20)
An Optimal Filtering Algorithm for Table Constraints (2012) (19)
Constraint-Based Lagrangian Relaxation (2014) (19)
Taming the Unpredictability of Cultural Markets with Social Influence (2017) (19)
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations (2017) (19)
Comet in context (2003) (19)
Differential Privacy of Hierarchical Census Data: An Optimization Approach (2019) (19)
Optimal and efficient filtering algorithms for table constraints (2013) (19)
Constraint programming models for integrated container terminal operations (2020) (19)
Multi-period vehicle loading with stochastic release dates (2013) (19)
Standard forms for rational linear arithmetic in constraint logic programming (1992) (18)
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS (2011) (18)
Aligning Popularity and Quality in Online Cultural Markets (2021) (18)
Computational Disaster Management (2013) (18)
Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison of Machine Learning and Logit Models (2018) (18)
Shared E-scooters: Business, Pleasure, or Transit? (2019) (18)
Communication-Constrained Expansion Planning for Resilient Distribution Systems (2018) (18)
Constraint-based Very Large-Scale Neighborhood search (2012) (18)
A decomposition-based implementation of search strategies (2004) (18)
Strategic Planning for Power System Restoration (2011) (17)
Protein Structure Prediction with Large Neighborhood Constraint Programming Search (2008) (17)
Helios: A Modeling Language for Global Optimization and its Implementation in Newton (1997) (17)
Joint Vehicle and Crew Routing and Scheduling (2015) (17)
Scheduling Abstractions for Local Search (2004) (17)
MiniCP: a lightweight solver for constraint programming (2021) (17)
A Path-Generation Matheuristic for Large Scale Evacuation Planning (2014) (17)
Explaining Propagators for Edge-Valued Decision Diagrams (2013) (17)
The Objective-CP Optimization System (2013) (17)
Constraint-Based Local Search for the Automatic Generation of Architectural Tests (2009) (16)
Joint Assessment and Restoration of Power Systems (2012) (16)
High-Fidelity Machine Learning Approximations of Large-Scale Optimal Power Flow (2020) (16)
Bias and Variance of Post-processing in Differential Privacy (2020) (16)
Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control (2020) (16)
The future of optimization technology (2014) (16)
Competitive dynamics between criminals and law enforcement explains the super-linear scaling of crime in cities (2015) (16)
Dynamic structural symmetry breaking for constraint satisfaction problems (2009) (16)
Differentially Private Optimal Power Flow for Distribution Grids (2020) (16)
Spatial Network Decomposition for Fast and Scalable AC-OPF Learning (2021) (16)
Strengthening the SDP Relaxation of AC Power Flows with Convex Envelopes, Bound Tightening, and Lifted Nonlinear Cuts (2015) (15)
Conceptual and Software Support for Abstract Domain Design: Generic Structural Domain and Open Product (1993) (15)
Power System Restoration With Transient Stability (2015) (15)
Power system restoration planning with standing phase angle and voltage difference constraints (2014) (15)
A constraint approach to mastermind in logic programming (1988) (15)
Backtracking without trailing in CLP (RLin) (1994) (15)
Semantic foundations of binding-time analysis for imperative programs (1995) (15)
A Constraint Satisfaction Approach to Parametric Differential Equations (2001) (15)
Community-Based Trip Sharing for Urban Commuting (2018) (14)
A Two-Stage Hybrid Local Search for the Pickup and Delivery Vehicle Routing Problem with Time Windows (2003) (14)
The CHIP System: Constraint Handling In Prolog (1988) (14)
Learning Optimization Proxies for Large-Scale Security-Constrained Economic Dispatch (2021) (14)
Reinforced Adaptive Large Neighborhood Search (2011) (14)
Constraint Programming: Strategic Directions (1997) (14)
Scheduling Social Golfers with Memetic Evolutionary Programming (2006) (14)
Optimizing Infrastructure Enhancements for Evacuation Planning (2016) (14)
Sequence-based abstract interpretation of Prolog (2000) (14)
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization (2011) (14)
The CLP language CHIP: constraint solving and applications (1991) (14)
A simulated annealing approach to the travelling tournament problem (2003) (13)
Constraint-Based Local Search for Constrained Optimum Paths Problems (2010) (13)
Sub-optimality Approximations (2005) (13)
Privacy-Preserving Federated Data Sharing (2019) (13)
Differential Privacy for Stackelberg Games (2020) (13)
Multistep Filtering Operators for Ordinary Differential Equations (1999) (13)
Bound Consistency for Binary Length-Lex Set Constraints (2008) (13)
Model-driven visualizations of constraint-based local search (2007) (13)
Resiliency of on-demand multimodal transit systems during a pandemic (2021) (13)
Crowdsourcing Dilemma (2013) (12)
CLP(Rlin) Revised (1996) (12)
OptStream: Releasing Time Series Privately (2018) (12)
Large‐scale zone‐based evacuation planning, Part II: Macroscopic and microscopic evaluations (2020) (11)
Bilevel Optimization for On-Demand Multimodal Transit Systems (2019) (11)
Propagating Knapsack Constraints in Sublinear Time (2007) (11)
An exact and scalable problem decomposition for security-constrained optimal power flow (2019) (11)
Privacy-Preserving Obfuscation of Critical Infrastructure Networks (2019) (11)
Large-scale zone-based evacuation planning - Part I: Models and algorithms (2021) (11)
Linking endogenous and exogenous popularity processes in social media (2016) (11)
The Commute Trip Sharing Problem (2019) (11)
LS(Graph): a constraint-based local search for constraint optimization on trees and paths (2012) (11)
Model Combinators for Hybrid Optimization (2013) (11)
Strong polynomiality of resource constraint propagation (2007) (11)
Incremental search in Constraint Logic Programming (1991) (11)
Backtracking without trailing in CLP ( RLin ) (1995) (10)
Popularity signals in trial-offer markets with social influence and position bias (2015) (10)
Capturing Travel Mode Adoption in Designing On-Demand Multimodal Transit Systems (2021) (10)
Combinatorial Optimization in OPL Studio (1999) (10)
On the Handling of Disequations in CLP over Linear Rational Arithmetic (1993) (10)
LS(graph & tree): a local search framework for constraint optimization on graphs and trees (2009) (10)
A Modeling Layer for Constraint-Programming Libraries (2005) (10)
Optimal Pruning in Parametric Differential Equations (2001) (10)
Propagating Regular Counting Constraints (2013) (10)
Constraint Programming for Combinatorial Search Problems (1996) (10)
Differentially Private Distributed Optimal Power Flow (2019) (10)
Ambivalent logic as the semantic basis of metalogic programming: I (1994) (10)
Solving a cutting-stock problem with the constraint logic programming language chip (1992) (10)
Privacy-Preserving Obfuscation for Distributed Power Systems (2019) (10)
The Benefits of Autonomous Vehicles for Community-Based Trip Sharing (2020) (10)
Evaluation of Length-Lex Set Variables (2009) (9)
Three Cuts for Accelerated Interval Propagation (1995) (9)
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems (2019) (9)
Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey (2022) (9)
Modeling Heterogeneity in Mode-Switching Behavior Under a Mobility-on-Demand Transit System: An Interpretable Machine Learning Approach (2019) (9)
Contraint-Based Combinators for Local Search (2005) (9)
Minimizing Breaks in Sport Scheduling with Local Search (2005) (9)
A Constraint Programming Approach for Non-preemptive Evacuation Scheduling (2015) (8)
On the Design of Generic Abstract Interpretation Frameworks (1992) (8)
A microkernel architecture for constraint programming (2014) (8)
A Modeling Language for Constraint Programming (1997) (8)
Constrained-Based Differential Privacy for Mobility Services (2018) (8)
Learning Hard Optimization Problems: A Data Generation Perspective (2021) (8)
Abstract Interpretation of Prolog Based on OLDT Resolution (1993) (8)
Scheduling social tournaments locally (2007) (8)
Resilient Transmission Grid Design: AC Relaxation vs. DC approximation (2017) (8)
Representing Actions in Equational Logic Programming (1994) (8)
Optimal Deployment of Eventually-Serializable Data Services (2008) (8)
Nowcasting Disaster Damage (2015) (7)
Reexecution in abstract interpretation of Prolog (1995) (7)
Taming the Matthew Effect in Online Markets with Social Influence (2017) (7)
Constraint Programming (2009) (7)
Datalog Queries of Set Constraint Databases (1995) (7)
Optimization of Structural Flood Mitigation Strategies (2018) (7)
A modeling language for local search (1997) (7)
Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (2002) (7)
Principles and Practice of Constraint Programming - CP96. Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996, Proceedings. (1997) (7)
Sequential Decision-Making (2021) (7)
Redundancy elimination with a lexicographic solved form (1995) (7)
Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (1997) (6)
Parallel Local Search in Comet (2005) (6)
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification (2008) (6)
Intelligent Habitat Restoration Under Uncertainty (2016) (6)
The Halting Problem for Deductive Synthesis of Logic Programs (1994) (6)
Phase Transitions for Optimality Gaps in Optimal Power Flows A Study on the French Transmission Network (2018) (6)
Market segmentation in online platforms (2021) (6)
Symmetry Breaking via LexLeader Feasibility Checkers (2011) (6)
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994 (1994) (6)
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation (1992) (6)
Joint Expansion Planning for Natural Gas and Electric Transmission with Endogenous Market Feedbacks (2018) (6)
Abstract Domains for Reordering CLP(RLin) Programs (2000) (6)
New developments in metaheuristics and their applications (2016) (6)
Construction of CLP Programs (1990) (6)
Ridesharing and Fleet Sizing For On-Demand Multimodal Transit Systems. (2021) (6)
Efficient Handling of Disequations in CLP Over Linear Rational Arithmetic (1991) (6)
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables (1994) (6)
A Lagrangian Dual Framework for Deep Neural Networks with Constraints (2020) (6)
Spatio-Temporal Point Processes With Attention for Traffic Congestion Event Modeling (2020) (6)
A Note on Redundant Linear Constraints (1992) (5)
Domain Views for Constraint Programming (2014) (5)
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services (2009) (5)
End-to-End Learning for Fair Ranking Systems (2021) (5)
Smart Load and Generation Scheduling for Power System Restoration (2011) (5)
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows (2017) (5)
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check (2020) (5)
A nonlinear optimization model for transient stable line switching (2017) (5)
Exponential Propagation for Set Variables (2010) (5)
Data-Driven Time Series Reconstruction for Modern Power Systems Research (2021) (5)
A slick procedure for integrity checking in deductive databases (1994) (5)
versus Specificity: an Experience with AI and (1988) (5)
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths (2017) (5)
Optimizing inspection routes in pipeline networks (2020) (5)
LSign Reordered (1995) (5)
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems (2015) (5)
A proof method for run—time properties of Prolog programs (1994) (4)
Interdependent Scheduling Games (2016) (4)
Strengthening the SDP Relaxation of AC Power Flows With Convex Envelopes, Bound Tightening, and Valid Inequalities (2019) (4)
Gap Reduction Techniques for Online Stochastic Project Scheduling (2008) (4)
Sonet Network Design Problems (2009) (4)
A Bid-Validity Mechanism for Sequential Heat and Electricity Market Clearing (2019) (4)
Machine Learning for Optimal Power Flows (2021) (4)
Spatial and Objective Decompositions for Very Large SCAPs (2011) (4)
Optimal Flood Mitigation over Flood Propagation Approximations (2016) (4)
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence (2016) (4)
Can this video be promoted? - Endogenous and exogenous popularity processes in social media (2016) (4)
Representing Continuous Change in the Abductive Event Calculus (1994) (4)
Boosting Set Constraint Propagation for Network Design (2010) (4)
Improving Distributed Unification through Type Analysis (1997) (4)
Combining Deep Learning and Optimization for Security-Constrained Optimal Power Flow (2020) (4)
Length-Lex Open Constraints (2007) (4)
On the Optimality and Predictability of Cultural Markets with Social Influence (2015) (4)
Transient dynamics in trial-offer markets with social influence: Trade-offs between appeal and quality (2017) (4)
RNA Structural Segmentation (2010) (4)
Differentially Private Convex Optimization with Feasibility Guarantees (2020) (4)
Real-Time Tabu Search for Video Tracking Association (2009) (4)
Parallel Composition of Scheduling Solvers (2016) (4)
Precisely A(α)-Stable One-Leg Multistep Methods (2003) (4)
Assortment and Price Optimization Under the Two-Stage Luce model. (2017) (4)
Optimization Models for Estimating Transit Network Origin–Destination Flows with Big Transit Data (2021) (3)
Heuristic Algorithms for Integrating Latent Demand into the Design of Large-Scale On-Demand Multimodal Transit Systems (2022) (3)
Water distribution expansion planning with decomposition (2012) (3)
Maintaining Longest Paths in Cyclic Graphs (2005) (3)
Length-lex bound consistency for knapsack constraints (2009) (3)
A Multistart Variable Neighborhood Search for Uncapacitated Facility Location (2005) (3)
Assortment Optimization under the General Luce Model (2017) (3)
Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method (2021) (3)
Vehicle Routing with Time Windows (2006) (3)
Optimal deployment of eventually-serializable data services (2011) (3)
Checking and Filtering Global Set Constraints (2011) (3)
Domain consistency with forbidden values (2010) (3)
Elasticity Model for Joint Gas-Grid Expansion Planning Optimization (2016) (3)
IsaWhelk: Whelk Interpreted in Isabelle (1994) (3)
Self-Supervised Primal-Dual Learning for Constrained Optimization (2022) (3)
An Abstract Interpretation Framework for (almost) Full Prolog (1994) (3)
Benders Subproblem Decomposition for Bilevel Problems with Convex Follower (2022) (3)
High-level nondeterministic abstractions in C++ (2006) (3)
The Modeling Language OPL — A Short Overview (2003) (3)
One way interdependent games (2013) (3)
Bilevel Optimization for Differentially Private Optimization (2020) (3)
In Memoriam: Paris C. Kanellakis (1996) (3)
Large‐scale zone‐based evacuation planning—Part I: Models and algorithms (2021) (3)
Socially aware transit solutions focus on solving ‘ first / last mile ’ challenge (2019) (3)
Popularity Signals in Trial-Offer Markets (2015) (3)
Science of Computer Programming Newt on Constraint programming over nonlinear constraints (2003) (3)
Introduction to the Special Issue on Interval Constraints (1997) (3)
Basic CP Theory: Search (2011) (3)
A Bargaining Mechanism for One-Way Games (2015) (2)
Graphical Models and Belief Propagation-hierarchy for Optimal Physics-Constrained Network Flows (2017) (2)
PDP: Prolog Distributed Processor for Independent_AND\OR Parallel Execution of Prolog (1994) (2)
Compiling Control Revisited: A New Approach based upon Abstract Interpretation (1994) (2)
Trial-Offer Markets with Continuation (2016) (2)
Transparent Parallelization of Constraint Programs on Computer Clusters (2008) (2)
Scheduling Social Tournaments (2005) (2)
Large-scale Zone-based Evacuation Planning: Generating Convergent and Non-Preemptive Evacuation Plans via Column Generation (2022) (2)
OptStream: Releasing Time Series Privately (Extended Abstract) (2020) (2)
Large-Scale Zone-Based Evacuation Planning: Models, Algorithms, and Evaluation. (2020) (2)
On the Scheme of Passing Arguments in Stack Frames for Prolog (1994) (2)
Graphical Models and Belief Propagation Hierarchy for Physics-Constrained Network Flows (2018) (2)
Branch and Price for Bus Driver Scheduling with Complex Break Constraints (2021) (2)
A Constraint-based Approach to Open Feature Verification (2)
Structural symmetry breaking for constraint satisfaction problems (2007) (2)
High-Level Nondeterministic Abstractions in (2006) (2)
Benders Decomposition for a Class of Mathematical Programs with Constraints on Dual Variables (2019) (2)
Constraint Programming Tools (2010) (2)
The flexible and real-time commute trip sharing problems (2020) (2)
Revisiting the Soft Global Cardinality Constraint (2010) (2)
The OPL Studio Modeling System (2004) (2)
Constraint Programming as Declarative Algorithmics (2010) (2)
Learning Regionally Decentralized AC Optimal Power Flows with ADMM (2022) (2)
Modeling in Numerica (1997) (2)
Distilling Black-Box Travel Mode Choice Model for Behavioral Interpretation (2019) (2)
Active Bucketized Learning for ACOPF Optimization Proxies (2022) (2)
Post-processing of Differentially Private Data: A Fairness Perspective (2022) (2)
Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments (2022) (2)
Benders Subproblem Decomposition for Discrete-Continuous Bilevel Problems (2019) (2)
Online Selection of Quorum Systems for RAMBO Reconfiguration (2009) (2)
A Preview of OPL (2000) (2)
Experimental evaluation of a generic abstract interpretation algorithm for Prolog (1992) (2)
Measuring and Optimizing Cultural Markets (2014) (2)
Fást and Precise Regular Approximations of Logic Programs (1994) (2)
Risk-Aware Control and Optimization for High-Renewable Power Grids (2022) (2)
Guest Editorial Special Issue on Analysis, Control, and Optimization of Energy Networks (2019) (2)
SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles (2022) (2)
Real-Time Pricing Optimization for Ride-Hailing Quality of Service (2021) (2)
Public Transit for Special Events: Ridership Prediction and Train Optimization (2021) (2)
Source to Source Optimizations of CLP($\Re_{Lin}$) (1995) (1)
Grid Optimization Competition on Synthetic and Industrial Power Systems (2022) (1)
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques (1986) (1)
An Axiomatic Approach to Semantics of Disjunctive Programs (1994) (1)
Domain consistency with forbidden values (2012) (1)
A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) (2009) (1)
Bargaining Mechanisms for One-Way Games (2015) (1)
A Database Interface for Complex Objects (1994) (1)
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting (2010) (1)
Smart load scheduling for power system restoration (2011) (1)
Exact Mixed-integer Convex Programming Formulation for Optimal Water Network Design. (2020) (1)
Ridesharing and fleet sizing for On-Demand Multimodal Transit Systems (2022) (1)
Online Stochastic Reservations (2006) (1)
Markov Chance-Decision Processes (2006) (1)
Computing Stable Models by Program Transformation (1994) (1)
The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias (2015) (1)
Optimizing Expected Utility in a Multinomial Logit Model with Position Bias and Social Influence (2014) (1)
The Bicycle Network Improvement Problem (2021) (1)
Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods (2008) (1)
Editorial - SAS'97 (2002) (1)
Efficient and complete demo predicates for definite clause languages (1994) (1)
Towards a Practical Full Mode Inference System for CLP(H,N) (1994) (1)
Simulation and Analysis of Container Freight Train Operations at Port Botany (2015) (1)
Etre ou ne pas Etre, une Contrainte Globale (2003) (1)
Restoration Prioritization for Multiple Interdependent Infrastructures (2012) (1)
A linear outer approximation of line losses for DC-based optimal power flow problems (2021) (1)
Privacy-Preserving Convex Optimization: When Differential Privacy Meets Stochastic Programming (2022) (1)
Constraint programming for combinatorial search problems (1996) (1)
The Bicycle Network Improvement Problem: Optimization Algorithms and A Case Study in Atlanta (2021) (1)
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program (2020) (1)
Identifying Patterns in Sequences of Variables (2011) (1)
Native Code Compilation in SICStus Prolog (1994) (1)
Optimizing Freight Operations for Autonomous Transfer Hub Networks (2021) (1)
Online Stochastic Routing (2006) (1)
Optimizing Network Deployment of Formally-Specified Distributed Systems (2009) (1)
Technical perspective: Finding the sweet spot amid accuracy and performance (2021) (1)
Compact Optimization Learning for AC Optimal Power Flow (2023) (1)
A generic fixpoint semantics for PROLOG and its application for abstract interpretation (1995) (1)
Redrawing attendance boundaries to promote racial and ethnic diversity in elementary schools (2023) (1)
Privacy and Bias Analysis of Disclosure Avoidance Systems (2023) (1)
Pricing under a multinomial logit model with non linear network effects (2020) (1)
Privacy-Preserving Obfuscation of Critical Infrastructure Networks ( Extended Version ) (2019) (1)
Multi-Resolution Spatio-Temporal Prediction with Application to Wind Power Generation (2021) (1)
Differential Private Stream Processing of Energy Consumption (2018) (1)
Restoration Prioritization for Multiple Interdependent Infrastructures (2012) (1)
Finding Conflict Sets and Backtrack Points in CLP(R) (1994) (1)
The Next 10 Years of Constraint Programming (2010) (1)
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (2022) (1)
Optimization Models for Estimating Transit Network Origin-Destination Flows with AVL/APC Data (2019) (1)
Interval Methods Revisited (1995) (1)
AMSAA: an Anticipatory Algorithm for Online Stochastic Combinatorial Optimization (2009) (1)
Higher-Order Polymorphic Unification for Logic Programming (1994) (0)
Port Botany doesn’t need another expensive rail project – here is the evidence (2016) (0)
Proving Hardware Designs (1994) (0)
Language Independence and Language Tolerance in Logic Programs (1994) (0)
Tank allocation for liquid bulk vessels using a hybrid constraint programming approach (2010) (0)
Abduction and Negation (1994) (0)
Institutional Knowledge at Singapore Management University New developments in metaheuristics and their applications: Selected extended contributions from the 10th Metaheuristics International Conference (MIC 2013) (2019) (0)
Proceedings of the 8th international conference on Practical Aspects of Declarative Languages (2006) (0)
Optimizing infrastructure enhancements for evacuation planning: benders decomposition for evacuation network infrastructure upgrades (2016) (0)
Cardinality Analysis of Prolog Cardinality Analysis of Prolog (1994) (0)
Special Track on Continuous Planning (2012) (0)
Une heuristique de génération de colonnes pour le problème de tournees de vehicules avec faisabilité boite noire,Extended Abstract (2012) (0)
Lazy Functional State Threads: an abstract (1994) (0)
Logic, Algebra and Static Analysis in DM Systems, the IE Way (1994) (0)
Recomputation-Free Lemmatization by Program Transformation (1994) (0)
The Meaning of Numerica (1997) (0)
LS(Graph): Un cadre de recherche locale pour des problèmes d'optimisation sous contraintes sur des graphes (2008) (0)
AC power flow linearizations capturing line losses and apparent power (2011) (0)
The Impact of Constraint Programming (2008) (0)
Introduction to the Special Issue (2004) (0)
Constraint programming (2000) (0)
Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings (2005) (0)
Constraint Languages for Combinatorial Optimization (2005) (0)
Decide Different! (2013) (0)
Problème d'équilibre des charges de travail dans l'affectation de patients aux infirmières (2009) (0)
Transmission system repair and restoration (2015) (0)
Large neighborhood search for the double traveling salesman problem with multiple stacks (2009) (0)
Online Multiknapsack Problems (2006) (0)
Introduction to the Special Issue on Principles and Practice of Constraint Programming (2005) (0)
An optimal filtering algorithm for table constraints [Un algorithme optimal de filtrage pour contraintes table] (2013) (0)
Interval ' 96 : International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering Interval ' 96 : Me : Ka , yHapo (2006) (0)
Conditional Logic Programming (1994) (0)
A simulation approach to analyse rail capacity at Sydney’s Port Botany [Abstract] (2014) (0)
Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2007) (0)
A propos des redondances dans les systèmes d'inéquations linéaires (1991) (0)
Ai@nicta (2012) (0)
Proceedings of the 4th International Symposium on Static Analysis (1997) (0)
Evidence-based optimization (2015) (0)
Reflection through Constraint Satisfaction (1994) (0)
Helios: A Mathematical Modeling Language for Newton (1995) (0)
A Grammatical Approach to DCG Parsing (1994) (0)
Constraint-based Very Large-Scale Neighborhood search (2011) (0)
Boosting Network Design with Set Constraint Propagation (2010) (0)
Pheromone-based Column Generation for the Vehicle Routing Problem with Black Box Feasibility (2012) (0)
LPDA : Another look at Tabulation in Logic Programming (1994) (0)
Localizer: a Modeling Language for Local Search Localizer a Modeling Language for Local Search (1997) (0)
Towards a verified OR-Parallel WAM (1994) (0)
Higher-order Aspects of Logic Programming (Summary) (1994) (0)
Output Value Placement in Moded Logic Programs (1994) (0)
Helios: a Mathematical Modeling Language for Newton Helios: a Mathematical Modeling Language for Newton (1995) (0)
Implementation of Andorra-based Languages (1994) (0)
Online Stochastic Scheduling (2006) (0)
A New Transformation based on Process-Message Duality for Concurrent Logic Languages (1994) (0)
Sequence Variables for Routing Problems (2022) (0)
PP-clauses: a Means for Handling Resources (1994) (0)
Aeon: Synthese d'algorithmes d'ordonnancement a partir de modeles de haut niveau (2009) (0)
30 Years of Constraint Programming (2008) (0)
Concurrency and plan generation in a logic programming language with a sequential operator (1994) (0)
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems (2016) (0)
Electricity-Aware Heat Unit Commitment: A Bid-Validity Approach (2020) (0)
Exponential Propagation for Set-CSPs (2010) (0)
Entailment of Finite Domain Constraints (1994) (0)
An Implementation of Numerica (1997) (0)
Scalable On-demand Mobility Services (2018) (0)
Introduction to the Special Issue (2004) (0)
Hybrid tree search in the Andorra model (1994) (0)
Job-Shop Scheduling in Localizer (1998) (0)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface (2005) (0)
Notes on the Design of an Open Boolean Solver (1994) (0)
The Syntax of Numerica (1997) (0)
Redundancy Elimination with aLexicographic Solved (1996) (0)
One-Way Games (Extended Abstract) (2014) (0)
PPSM: A Privacy-Preserving Stackelberg Mechanism: Privacy Guarantees for the Coordination of Sequential Electricity and Gas Markets (2019) (0)
Constraint Logic Programming: From Theory to Applications (1990) (0)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : Proceedings of CPAIOR 2007 (2009) (0)
Integrated Resource Planning in Maintenance Logistics (2016) (0)
Bounded Incremental Single-Source Shortest-Paths (2005) (0)
Domaine consistance et valeurs interdites (2011) (0)
Comsumption-based Distributed Unification (1996) (0)
Lsign Reordered Lsign Reordered (1995) (0)
tfJ-« X 0 / ! ) (2009) (0)
Higher-order and Meta Programming (1994) (0)
Learning And Historical Sampling (2006) (0)
Assortment optimization under a multinomial logit model with position bias and social influence (2015) (0)
Compositional Derivation of Symmetries for Constraint Satisfaction Content Area : Constraint Satisfaction (2004) (0)
Learning Model Predictive Controllers for Real-Time Ride-Hailing Vehicle Relocation and Pricing Decisions (2021) (0)
Computing Annotated Logic Programs (1994) (0)
The Semantics of Numerica (1997) (0)
A Universal Top-down Fixpoint Algorithm a Universal Top-down Fixpoint Algorithm (1992) (0)
Du filtrage optimal à la stabilité parfaite (2002) (0)
Adaptive and Robust Resource Allocation and Scheduling (2010) (0)
Principles and practice of constraint programming - CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : proceedings (2002) (0)
Online Vehicle Dispatching (2006) (0)
One-way games (2014) (0)
Simulated Annealing Based Local Search for Sport Scheduling Problems (2007) (0)
A Column Generation Algorithm for Evacuation Planning with Cycle-Free Paths (2017) (0)
School of Business 9-2007 Length-Lex Open Constraints (2015) (0)
In honor of Alain Colmerauer's 60th birthday (2001) (0)
A Tutorial on Synthesis of Logic Programs from Specifications (1994) (0)
Transformation and Synthesis (1994) (0)
Depth-k Sharing and Freeness (1994) (0)
Abduction and Abductive Logic Programming (1994) (0)
Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks (2022) (0)
The Discrete Optimization MOOC, An Exploration in Discovery-Based Learning (2014) (0)
The price of commitment in online stochastic vehicle routing (2009) (0)
Modularity in Logic Programming (1994) (0)
Efficient structural symmetry breaking for constraint satisfaction problems (2007) (0)
Logic programming as quantum measurement (1994) (0)
Source to Source Optimizations of Clp(< Lin ) Source to Source Optimizations of Clp(< Lin ) (2007) (0)
Evidence-based optimization of complex infrastructures (2016) (0)
LS(Graph): a constraint-based local search for constraint optimization on trees and paths (2012) (0)
Parallel CLP on Heterogeneous Networks (1994) (0)
A Dataflow Analysis Method for Ground Prolog (1994) (0)
Online Vehicle Routing with Time Windows (2006) (0)
Bargaining mechanisms for one-way games Games (2015) (0)
The Ten Years of CPAIOR: A Success Story (2011) (0)
Looking into the crystal-ball: a bright future for CP (2014) (0)
A relaxation-guided approach for vehicle routing problems with black box feasibility (2011) (0)
Emerging Architectures for Global System Science (2015) (0)
Backtracking without Trailing in CLP(RLin) (1994) (0)
Commuting with Autonomous Vehicles: A Branch and Cut Algorithm with Redundant Modeling (2021) (0)
Scheduling container trains at Port Botany [Abstract] (2014) (0)
Constraint Satifaction Using Constraint Logic Programming (1991) (0)
Two-Stage Learning For the Flexible Job Shop Scheduling Problem (2023) (0)
Changes in Commuter Behavior from COVID-19 Lockdowns in the Atlanta Metropolitan Area (2023) (0)
Fairness Increases Adversarial Vulnerability (2022) (0)
Compiling Intensional Sets in CLP (1994) (0)
Logic Programs with Refutation Rules (1994) (0)
Constraint Programming and Integer Programming (Dagstuhl Seminar 00031) (2021) (0)
A Bottom-up Semantics for Constructive Negation (1994) (0)
Optimization Models for Autonomous Transfer Hub Networks (2022) (0)
A microkernel architecture for constraint programming (2016) (0)
Electricity-Aware Bid Format for Heat Commitment and Dispatch (2020) (0)
The Impact of Dedicated Lanes on On-Demand Multimodal Transit Systems (2023) (0)
A column-generation approach for joint mobilization and evacuation planning (2015) (0)
Causal Models of Disjunctive Logic Programs (1994) (0)
Looking into the crystal-ball: a bright future for CP (2014) (0)
Default Rules: An Extension of Constructive Negation for N arrowing-based Languages (1994) (0)
The future of optimization technology (2013) (0)
Graphical models for optimal power flow (2016) (0)
On the Equivalence between Disjunctive and Abductive Logic Programs (1994) (0)
A gentle introduction to Numerica (1998) (0)
New developments in metaheuristics and their applications (2016) (0)
A branch-and-price-and-check model for the vehicle routing problem with location congestion (2016) (0)
Learning Model-Based Vehicle-Relocation Decisions for Real-Time Ride-Sharing: Hybridizing Learning and Optimization (2021) (0)
Just-In-Time Learning for Operational Risk Assessment in Power Grids (2022) (0)
Conjunto: Constraint propagation over set constraints with finite set domain variables (1994) (0)
Realizing Modularity in λ Prolog Gopalan Nadathur Guanshan Tong (1999) (0)
Constraint Solving by in Combined Algebraic Narrowing Domains (1994) (0)
The CLP language CHIP: constraint solving and applications (1991) (0)
Optimal and efficient filtering algorithms for table constraints (2013) (0)
Path-Based Formulations for the Design of On-demand Multimodal Transit Systems with Adoption Awareness (2023) (0)
End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch (2023) (0)
Constraint programming languages (1993) (0)
Splitting a Logic Program (1994) (0)
Technical perspective: Finding the sweet spot amid accuracy and performance (2021) (0)
Exploiting Type Analysis for Unification in a Distributed Environment (1999) (0)
Artificial Intelligence/Operations Research Workshop 2 Report Out (2023) (0)
Âº Äççáá Èêççêêååáaeae¸½ßººº (1995) (0)
A Tour of Numerica (1997) (0)

This paper list is powered by the following services:

Other Resources About Pascal Van Hentenryck

What Schools Are Affiliated With Pascal Van Hentenryck?

Pascal Van Hentenryck is affiliated with the following schools:

Pascal Van Hentenryck's Academic­Influence.com Rankings

Pascal Van Hentenryck's Degrees

Similar Degrees You Can Earn

Why Is Pascal Van Hentenryck Influential?

Pascal Van Hentenryck's Published Works

Published Works

Other Resources About Pascal Van Hentenryck

What Schools Are Affiliated With Pascal Van Hentenryck?

Pascal Van Hentenryck's AcademicInfluence.com Rankings