A Lower Bound for Structuring Element Decompositions
IEEE Transactions on Pattern Analysis and Machine Intelligence
Optimal scheduling and allocation of embedded VLSI chips
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Stochastic evolution: a fast effective heuristic for some generic layout problems
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Simultaneous scheduling and allocation for cost constrained optimal architectural synthesis
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
A global approach to crew-pairing optimization
IBM Systems Journal
Recent developments and future directions in mathematical programming
IBM Systems Journal
Optimization of Computation Time for Systolic Arrays
IEEE Transactions on Computers
Analysis of free schedule in periodic graphs
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
A general algorithm for data dependence analysis
ICS '92 Proceedings of the 6th international conference on Supercomputing
A Polynomial Algorithm for Balancing Acyclic Data Flow Graphs
IEEE Transactions on Computers
Non-unimodular transformations of nested loops
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
A mixed-integer nonlinear programming approach to analog circuit synthesis
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
A test problem generator for the Steiner problem in graphs
ACM Transactions on Mathematical Software (TOMS)
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
MIST—a design aid for programmable pipelined processors
DAC '94 Proceedings of the 31st annual Design Automation Conference
Two recent algorithms for the global minimum cut problem
ACM SIGACT News
Assignment of cells to switches in PCS networks
IEEE/ACM Transactions on Networking (TON)
Automatic data layout for high performance Fortran
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
A simple algorithm for the generation of efficient loop structures
PACT '95 Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques
Technology mapping for field-programmable gate arrays using integer programming
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Primary production scheduling at steelmaking industries
IBM Journal of Research and Development
Software pipelining showdown: optimal vs. heuristic methods in a production compiler
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Combinatorial optimization: an integer programming perspective
ACM Computing Surveys (CSUR)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Width minimization of two-dimensional CMOS cells using integer programming
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Nondegeneracy of Polyhedra and Linear Programs
Computational Optimization and Applications
Computing lower bounds on functional units before scheduling
ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Optimal weighted loop fusion for parallel programs
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
Approximation algorithms for facility location problems (extended abstract)
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
The minimised geometric Buchberger algorithm: an optimal algebraic algorithm for integer programming
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Efficient formulation for optimal modulo schedulers
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Generating Cuts from Surrogate Constraint Analysis for Zero-Oneand Multiple Choice Programming
Computational Optimization and Applications
Buffer assignment for data driven architectures
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
A Note on Reducing the Number of Variables in IntegerProgramming Problems
Computational Optimization and Applications
A Truncated Exponential Algorithm for the Lightly Constrained Assignment Problem
Computational Optimization and Applications
Solving covering problems using LPR-based lower bounds
DAC '97 Proceedings of the 34th annual Design Automation Conference
Low energy memory and register allocation using network flow
DAC '97 Proceedings of the 34th annual Design Automation Conference
CLIP: an optimizing layout generator for two-dimensional CMOS cells
DAC '97 Proceedings of the 34th annual Design Automation Conference
Global harmony: coupled noise analysis for full-chip RC interconnect networks
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
The Two-Period Travelling Salesman Problem Appliedto Milk Collection in Ireland
Computational Optimization and Applications
An improved approximation algorithm for multiway cut
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Partitioning Processor Arrays under Resource Constraints
Journal of VLSI Signal Processing Systems
Compatible class encoding in hyper-function decomposition for FPGA synthesis
DAC '98 Proceedings of the 35th annual Design Automation Conference
A polyhedral approach to RNA sequence structure alignment
RECOMB '98 Proceedings of the second annual international conference on Computational molecular biology
Improving the computational performance of ILP-based problems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
The Capacitated Arc Routing Problem: Valid Inequalities and Facets
Computational Optimization and Applications
Projection with a Minimal System of Inequalities
Computational Optimization and Applications
Precise register allocation for irregular architectures
MICRO 31 Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture
Automatic data layout for distributed-memory machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
An integer local search method with application to capacitated production planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Lexicon-Driven Handwritten Word Recognition Using Optimal Linear Combinations of Order Statistics
IEEE Transactions on Pattern Analysis and Machine Intelligence
Algorithms for choosing differential gene expression experiments
RECOMB '99 Proceedings of the third annual international conference on Computational molecular biology
RECOMB '99 Proceedings of the third annual international conference on Computational molecular biology
Optimal synthesis of multichip architectures
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Computational Optimization and Applications
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Polynomial algorithms for minimum cost paths in periodic graphs
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Selecting training inputs via greedy rank covering
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Data collection for the Sloan Digital Sky Survey—a network-flow heuristic
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Approximation algorithms for the asymmetric postman problem
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Buffer Assignment Algorithms on Data Driven ASICs
IEEE Transactions on Computers
Multiplierless Realization of Linear DSP Transforms by Using Common Two-Term Expressions
Journal of VLSI Signal Processing Systems
A matter of degree: improved approximation algorithms for degree-bounded minimum spanning trees
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
IEEE Transactions on Computers
Cooperative facility location games
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
K-medians, facility location, and the Chernoff-Wald bound
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
On using satisfiability-based pruning techniques in covering algorithms
DATE '00 Proceedings of the conference on Design, automation and test in Europe
An efficient heuristic approach to solve the unate covering problem
DATE '00 Proceedings of the conference on Design, automation and test in Europe
A system-level synthesis algorithm with guaranteed solution quality
DATE '00 Proceedings of the conference on Design, automation and test in Europe
CLIP: integer-programming-based optimal layout synthesis of 2D CMOS cells
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Algorithms for facility location problems with outliers
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Cache conscious data layout organization for embedded multimedia applications
Proceedings of the conference on Design, automation and test in Europe
RECOMB '01 Proceedings of the fifth annual international conference on Computational biology
IEEE Transactions on Parallel and Distributed Systems
A mixed-integer programming model for the cellular telecommunication network design
DIALM '01 Proceedings of the 5th international workshop on Discrete algorithms and methods for mobile computing and communications
A fast approach to computing exact solutions to the resource-constrained scheduling problem
ACM Transactions on Design Automation of Electronic Systems (TODAES)
General technology mapping for field-programmable gate arrays based on lookup tables
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Branch-and-cut algorithms for the capacitated VRP
The vehicle routing problem
Static and Dynamic Locality Optimizations Using Integer Linear Programming
IEEE Transactions on Parallel and Distributed Systems
Optimal crawling strategies for web search engines
Proceedings of the 11th international conference on World Wide Web
Computational Optimization and Applications
Structural alignment of large—size proteins via lagrangian relaxation
Proceedings of the sixth annual international conference on Computational biology
Designs, Codes and Cryptography
Reducing energy consumption by dynamic copying of instructions onto onchip memory
Proceedings of the 15th international symposium on System Synthesis
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Web transaction analysis and optimization (TAO)
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Effects of Channel Interchange and Route Splitting on Ring Loading Efficiency
Journal of Network and Systems Management
Network Design for Express Shipment Delivery
Computational Optimization and Applications
A branch-and-price algorithm for the Steiner tree packing problem
Computers and Operations Research
The cable trench problem: combining the shortest path and minimum spanning tree problems
Computers and Operations Research
New bundle methods for solving Lagrangian relaxation dual problems
Journal of Optimization Theory and Applications
New Lagrangian relaxation based algorithm for resource scheduling with homogeneous subproblems
Journal of Optimization Theory and Applications
An Agent-Based Approach for Scheduling Multiple Machines
Applied Intelligence
Constraint Programming: Strategic Directions
Constraints
Lagrangean Relaxation Revisited, Technical Note
Constraints
Optimization-Oriented Global Constraints
Constraints
Mathematical Programming in Data Mining
Data Mining and Knowledge Discovery
Applying GIS and Combinatorial Optimization to Fiber DeploymentPlans
Journal of Heuristics
Detecting and Preventing Routing Problems in the Planning Process ofCCSS #7 Networks
Journal of Heuristics
The Auction Technique for the Sensor Based Navigation Planning of an Autonomous Mobile Robot
Journal of Intelligent and Robotic Systems
Global Optimization by Multilevel Coordinate Search
Journal of Global Optimization
Successive Optimization Method via Parametric Monotone Composition Formulation
Journal of Global Optimization
A Lagrangian Based Branch-and-Bound Algorithm for Production-transportation Problems
Journal of Global Optimization
A Dynamic Domain Contraction Algorithm for Nonconvex Piecewise Linear Network Flow Problems
Journal of Global Optimization
Some Fundamental Properties of Successive Convex Relaxation Methods on LCP and Related Problems
Journal of Global Optimization
Managing End-to-End Network Performance via Optimized Monitoring Strategies
Journal of Network and Systems Management
Queueing Systems: Theory and Applications
Partially Occluded Object Recognition Using Statistical Models
International Journal of Computer Vision
Computational Optimization and Applications
An Arbitrary Starting Variable Dimension Algorithm for Computing an Integer Point of a Simplex
Computational Optimization and Applications
Computational Optimization and Applications
A model and methodologies for the location problem with logistical components
Computers and Operations Research
Partial cell suppression: A new methodology for statistical disclosure control
Statistics and Computing
A Simple Heuristic for Assignment of Cells to Switches in a PCS Network
Wireless Personal Communications: An International Journal
Introduction to the Scheduling Problem
IEEE Design & Test
Exact and Approximate Algorithms for the Index Selection Problem in Physical Database Design
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Global Solution to Sparse Correspondence Problems
IEEE Transactions on Pattern Analysis and Machine Intelligence
Loop Transformation Using Nonunimodular Matrices
IEEE Transactions on Parallel and Distributed Systems
The disjunctive procedure and blocker duality
Discrete Applied Mathematics
A theory of complexity for continuous time systems
Journal of Complexity
Cost Allocation for a Tree Network with Heterogeneous Customers
Mathematics of Operations Research
Extending Cell Suppression to Protect Tabular Data against Several Attackers
Inference Control in Statistical Databases, From Theory to Practice
Vertex-Disjoint Packing of Two Steiner Trees: Polyhedra and Branch-and-Cut
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
On the Chvátal Rank of Certain Inequalities
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
On the Rank of Mixed 0, 1 Polyhedra
Proceedings of the 8th International IPCO Conference on Integer Programming and Combinatorial Optimization
Integer Programming and Arrovian Social Welfare Functions
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
Polynomial-Time Separation of Simple Comb Inequalities
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
A New Subadditive Approach to Integer Programming
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
A Polyhedral Study of the Cardinality Constrained Knapsack Problem
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
Advanced Data Layout Optimization for Multimedia Applications
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Direct Representation and Variation Operators for the Fixed Charge Transportation Problem
PPSN VII Proceedings of the 7th International Conference on Parallel Problem Solving from Nature
Side Chain-Positioning as an Integer Programming Problem
WABI '01 Proceedings of the First International Workshop on Algorithms in Bioinformatics
Effective Compilation Support for Variable Instruction Set Architecture
Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques
Minimal Sample Databases for Global Cardinality Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Approximation of a Geometric Set Covering Problem
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
QofIS '00 Proceedings of the First COST 263 International Workshop on Quality of Future Internet Services
A Notion of Cross-Perfect Bipartite Graphs
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
On the Optimal Control Law for Linear Discrete Time Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
A Specification Framework for Real-Time Scheduling
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Capacity Assignment in Bluetooth Scatternets - Analysis and Algorithms
NETWORKING '02 Proceedings of the Second International IFIP-TC6 Networking Conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; and Mobile and Wireless Communications
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Disjunctive Constraints for Interactive Graphical Applications
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Branch, Cut, and Price: Sequential and Parallel
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School]
Mathematical Programming Models and Formulations for Deterministic Production Planning Problems
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School]
ESA '00 Proceedings of the 8th Annual European Symposium on Algorithms
Coupling Variable Fixing Algorithms for the Automatic Recording Problem
ESA '01 Proceedings of the 9th Annual European Symposium on Algorithms
SCIL - Symbolic Constraints in Integer Linear Programming
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Errors Detection and Correction in Large Scale Data Collecting
IDA '01 Proceedings of the 4th International Conference on Advances in Intelligent Data Analysis
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A neural-network-based approach to the double traveling salesman problem
Neural Computation
Non-standard approaches to integer programming
Discrete Applied Mathematics
Discrete Applied Mathematics
Cutting planes in integer and mixed integer programming
Discrete Applied Mathematics
A faster optimal register allocator
Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
Exploiting response models: optimizing cross-sell and up-sell opportunities in banking
Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining
Networks new economical virtual private
Communications of the ACM - E-services: a cornucopia of digital offerings ushers in the next Net-based evolution
New polynomial-time instances to various knapsack-type problems
Fundamenta Informaticae
Balancing structural hazards and hardware cost of pipelined processors
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Simulated Annealing Algorithm with Multi-Molecule: An Approach to Analog Synthesis
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Primal-Dual Approximation Algorithms for Metric Facility Location and k-Median Problems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
A Hierarchical Technique for Minimum-Width Layout of Two-Dimensional CMOS Cells
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Parallel branch and cut for capacitated vehicle routing
Parallel Computing - Special issue: Parallel computing in logistics
The base-matroid and inverse combinatorial optimization problems
Discrete Applied Mathematics
Part Batching and Scheduling in a Flexible Cell to Minimize Setup Costs
Journal of Scheduling
On stacking bi-directional self-healing-rings on a conduit ring
Computers and Industrial Engineering
Structured importance sampling of environment maps
ACM SIGGRAPH 2003 Papers
An augment-and-branch-and-cut framework for mixed 0-1 programming
Combinatorial optimization - Eureka, you shrink!
A simplex-based algorithm for 0-1 mixed integer programming
Combinatorial optimization - Eureka, you shrink!
Mixed-integer value functions in stochastic programming
Combinatorial optimization - Eureka, you shrink!
Metaheuristics in combinatorial optimization: Overview and conceptual comparison
ACM Computing Surveys (CSUR)
Variable Instruction Set Architecture and Its Compiler Support
IEEE Transactions on Computers
Efficient scheduling of Internet banner advertisements
ACM Transactions on Internet Technology (TOIT)
The One-Machine Problem with Earliness and Tardiness Penalties
Journal of Scheduling
Using penalty function and Tabu search to solve cell formation problems with fixed cell cost
Computers and Operations Research
Greedy facility location algorithms analyzed using dual fitting with factor-revealing LP
Journal of the ACM (JACM)
An Incremental Procedure for Improving Path Assignment in a Telecommunications Network
Journal of Heuristics
Maximizing the spread of influence through a social network
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
A notion of cross-perfect bipartite graphs
Information Processing Letters
Capacity assignment in Bluetooth scatternets: optimal and heuristic algorithms
Mobile Networks and Applications
Two-Connected Networks with Rings of Bounded Cardinality
Computational Optimization and Applications
Description logics with aggregates and concrete domains
Information Systems
Satisfiability-Based Algorithms for Boolean Optimization
Annals of Mathematics and Artificial Intelligence
On polynomial complexity of a stochastic algorithm for mixed zero-one programs
Discrete Applied Mathematics
Delta optimizes continuing-qualification-training schedules for pilots
Interfaces - Wagner prize papers
Efficient trip generation with a rule modeling system for crew scheduling problems
Journal of Systems and Software
Integration of COTS software products ARENA & CPLEX for an inventory/logistics problem
Computers and Operations Research
A Library Hierarchy for Implementing Scalable Parallel Search Algorithms
The Journal of Supercomputing
Constraint programming and maths programming
The Knowledge Engineering Review
Branch-and-cut for combinatorial optimization problems without auxiliary binary variables
The Knowledge Engineering Review
Synthesis of efficient constraint-satisfaction programs
The Knowledge Engineering Review
The Knowledge Engineering Review
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
Cliques, holes and the vertex coloring polytope
Information Processing Letters
GRASP for linear integer programming
Metaheuristics
Exploiting response models: optimizing cross-sell and up-sell opportunities in banking
Information Systems - Knowledge discovery and data mining (KDD 2002)
Cooperative facility location games
Journal of Algorithms - Special issue: SODA 2000
Integer programming models for computational biology problems
Journal of Computer Science and Technology - Special issue on bioinformatics
Expressive negotiation over donations to charities
EC '04 Proceedings of the 5th ACM conference on Electronic commerce
Measuring the Robustness of a Resource Allocation
IEEE Transactions on Parallel and Distributed Systems
Coordinating production planning in cellular manufacturing environment using Tabu search
Computers and Industrial Engineering
A column generation approach to the coalition formation problem in multi-agent systems
Computers and Operations Research
Performance bounds of algorithms for scheduling advertisements on a web page
Journal of Scheduling
Integer Programming Duality in Multiple Objective Programming
Journal of Global Optimization
IBM Journal of Research and Development
Divisible Load Scheduling in Systems with Limited Memory
Cluster Computing
Consistency problems in ER-schemas for database systems
Information Sciences: an International Journal - Special issue: Information technology
Hybrid genetic algorithm for optimization problems with permutation property
Computers and Operations Research
Performance limits of divisible load processing in systems with limited communication buffers
Journal of Parallel and Distributed Computing
IEEE Transactions on Computers
Probability Logic and Optimization SAT: The PSAT and CPA Models
Annals of Mathematics and Artificial Intelligence
Discrete Applied Mathematics
Discrete models for data imputation
Discrete Applied Mathematics - Discrete mathematics & data mining (DM & DM)
Polynomial approximation schemes and exact algorithms for optimum curve segmentation problems
Discrete Applied Mathematics - Discrete mathematics & data mining (DM & DM)
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Nonuniform Banking for Reducing Memory Energy Consumption
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
A provable better Branch and Bound method for a nonconvex integer quadratic programming problem
Journal of Computer and System Sciences
Dynamic channel assignment with cumulative co-channel interference
ACM SIGMOBILE Mobile Computing and Communications Review
Optimizing Array-Intensive Applications for On-Chip Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Adapting polyhedral properties from facility to hub location problems
Discrete Applied Mathematics - The fourth international colloquium on graphs and optimisation (GO-IV)
Coordinating Multiple Robots with Kinodynamic Constraints Along Specified Paths
International Journal of Robotics Research
Integer linear programming based energy optimization for banked DRAMs
GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI
Demand-wise Shared Protection for Meshed Optical Networks
Journal of Network and Systems Management
Pre-Emptive Scheduling Problems with Controllable Processing Times
Journal of Scheduling
Maximum-lifetime routing algorithms for networks with omnidirectional and directional antennas
Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing
A greedy approximation for minimum connected dominating sets
Theoretical Computer Science
Design of capacitated survivable networks with a single facility
IEEE/ACM Transactions on Networking (TON)
An evolutionary lagrangian method for the 0/1 multiple knapsack problem
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
On the approximability of some network design problems
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Optimal refinement of rule bases
AI Communications
Cross-layer optimization for routing data traffic in UWB-based sensor networks
Proceedings of the 11th annual international conference on Mobile computing and networking
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
User hints: a framework for interactive optimization
Future Generation Computer Systems
Journal of Global Optimization
Discount auctions for procuring heterogeneous items
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Spectral and meta-heuristic algorithms for software clustering
Journal of Systems and Software - Special issue: Software reverse engineering
On the wireless local area network design problem with performance guarantees
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Computational Study of a Cutting Plane Algorithm for University Course Timetabling
Journal of Scheduling
Supermodular functions and the complexity of MAX CSP
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
A polyhedral approach for a constrained quadratic 0-1 problem
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Point of presence design in internet protocol networks with performance guarantees
Computers and Operations Research - Articles presented at the conference on routing and location (CORAL)
Dynamic microcell assignment for massively multiplayer online gaming
NetGames '05 Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games
Approximating the k-multicut problem
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Comparative approaches to equipment scheduling in high volume factories
Computers and Operations Research
Quickly finding near-optimal storage designs
ACM Transactions on Computer Systems (TOCS)
Computing lower bound for MAX-CSP problems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Orthogonal drawings of graphs with vertex and edge labels
Computational Geometry: Theory and Applications
A Local Relaxation Approach for the Siting of Electrical Substations
Computational Optimization and Applications
Optimal topology exploration for application-specific 3D architectures
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Data partitioning for maximal scratchpad usage
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Decomposition of integer matrices and multileaf collimator sequencing
Discrete Applied Mathematics
A Constraint Programming Approach to Extract the Maximum Number of Non-Overlapping Test Forms
Computational Optimization and Applications
MOPEN: a computational package for linear multiobjective and goal programming problems
Decision Support Systems
Lagrangian duality applied to the vehicle routing problem with time windows
Computers and Operations Research
Data Replication in Banked DRAMs for Reducing Energy Consumption
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Equivalence of some LP-based lower bounds for the Golomb ruler problem
Discrete Applied Mathematics
Contextual Inference in Contour-Based Stereo Correspondence
International Journal of Computer Vision
On the existence of duality gaps for mixed integer programming
International Journal of Systems Science
Optimization and reconstruction of hv-convex (0, 1)-matrices
Discrete Applied Mathematics - Special issue: IWCIA 2003 - Ninth international workshop on combinatorial image analysis
Assignment of swimmers to dual meet events
Computers and Operations Research
Generation of classes of robust periodic railway timetables
Computers and Operations Research
Best compromise solution for a new multiobjective scheduling problem
Computers and Operations Research
Information Systems - Special issue: The semantic web and web services
A branch-and-cut algorithm for graph coloring
Discrete Applied Mathematics - Special issue: IV ALIO/EURO workshop on applied combinatorial optimization
Graph layering by promotion of nodes
Discrete Applied Mathematics - Special issue: IV ALIO/EURO workshop on applied combinatorial optimization
Optimal timeslot and channel allocation considering fairness for multicell CDMA/TDD systems
Computers and Operations Research
Generalized spectral bounds for sparse LDA
ICML '06 Proceedings of the 23rd international conference on Machine learning
Polyhedral Analysis for Concentrator Location Problems
Computational Optimization and Applications
Minimum-cost multicast over coded packet networks
IEEE/ACM Transactions on Networking (TON) - Special issue on networking and information theory
Multi-Level On-Chip Memory Hierarchy Design for Embedded Chip Multiprocessors
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Information-theoretic approaches to branching in search
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The complexity of soft constraint satisfaction
Artificial Intelligence
Design of wireless mesh networks for aggregating traffic of fast moving users
Proceedings of the 4th ACM international workshop on Mobility management and wireless access
Solving the p-Median Problem with a Semi-Lagrangian Relaxation
Computational Optimization and Applications
Journal of Experimental Algorithmics (JEA)
Journal of Experimental Algorithmics (JEA)
Polyhedral results for the bipartite induced subgraph problem
Discrete Applied Mathematics - Special issue: International symposium on combinatorial optimization CO'02
Optimal refinement of rule bases
AI Communications
Computing locally coherent discourses
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Exact algorithms and applications for Tree-like Weighted Set Cover
Journal of Discrete Algorithms
In situ column generation for a cutting-stock problem
Computers and Operations Research
Two fast algorithms for all-pairs shortest paths
Computers and Operations Research
Auction algorithms for decentralized parallel machine scheduling
Parallel Computing - Optimization on grids - Optimization for grids
Space-aware ambients and processes
Theoretical Computer Science
Classifying interprocess communication in process network representation of nested-loop programs
ACM Transactions on Embedded Computing Systems (TECS) - SPECIAL ISSUE SCOPES 2005
Linear Complementarity as a General Solution Method to Combinatorial Problems
INFORMS Journal on Computing
The Symmetric Traveling Salesman Polytope: New Facets from the Graphical Relaxation
Mathematics of Operations Research
Multi-view correspondence by enforcement of rigidity constraints
Image and Vision Computing
Computers and Operations Research
Computers and Operations Research
A class of web-based facets for the generalized vertex packing problem
Discrete Applied Mathematics
Minimization of ordered, symmetric half-products
Discrete Applied Mathematics
Computers and Industrial Engineering
Early Estimates of the Size of Branch-and-Bound Trees
INFORMS Journal on Computing
A Column-Generation Approach to the Multiple Knapsack Problem with Color Constraints
INFORMS Journal on Computing
A Branch-and-Price Algorithm and New Test Problems for Spectrum Auctions
Management Science
The Optimal Diversity Management Problem
Operations Research
A Multicommodity Flow Approach to the Crew Rostering Problem
Operations Research
Dynamic Aggregation of Set-Partitioning Constraints in Column Generation
Operations Research
A Branch-and-Cut Algorithm for the Multiple Depot Vehicle Scheduling Problem
Operations Research
Requirements Planning with Pricing and Order Selection Flexibility
Operations Research
A Stochastic Programming Approach to the Airline Crew Scheduling Problem
Transportation Science
Incentive Schemes for Attended Home Delivery Services
Transportation Science
The Interplay of Optimization and Machine Learning Research
The Journal of Machine Learning Research
On the submodularity of influence in social networks
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
A cross entropy algorithm for the Knapsack problem with setups
Computers and Operations Research
Network Flow Approach to Data Regeneration for Low Energy Embedded System Synthesis
Integrated Computer-Aided Engineering
A matching algorithm for the distribution of human pancreatic islets
Computational Statistics & Data Analysis
Performance testing of combinatorial solvers with isomorph class instances
Proceedings of the 2007 workshop on Experimental computer science
Discrete Applied Mathematics
Journal of Global Optimization
Performance testing of combinatorial solvers with isomorph class instances
ecs'07 Experimental computer science on Experimental computer science
Multi-period capacitated location with modular equipments
Computers and Operations Research
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design
Mesh Ensemble Motion Graphs: Data-driven mesh animation with constraints
ACM Transactions on Graphics (TOG)
Benders decomposition for the uncapacitated multiple allocation hub location problem
Computers and Operations Research
A grid-aware MIP solver: Implementation and case studies
Future Generation Computer Systems
A Relax-and-Cut algorithm for the set partitioning problem
Computers and Operations Research
Heuristic and exact algorithms for the max-min optimization of the multi-scenario knapsack problem
Computers and Operations Research
Compiler-Directed Energy Optimization for Parallel Disk Based Systems
IEEE Transactions on Parallel and Distributed Systems
Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Scheduling of embedded time-triggered systems
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Methods based on discrete optimization for finding road network rehabilitation strategies
Computers and Operations Research
A multiple server location-allocation model for service system design
Computers and Operations Research
Formulations and exact algorithms for the vehicle routing problem with time windows
Computers and Operations Research
Strategic planning of preparedness budgets for wildland fire management
IBM Journal of Research and Development - Business optimization
Mixed-integer nonlinear programming: some modeling and solution issues
IBM Journal of Research and Development - Business optimization
Chain programming over difference constraints
Nordic Journal of Computing
A combinatorial procurement auction featuring bundle price revelation without free-riding
Decision Support Systems
A cutting plane algorithm for graph coloring
Discrete Applied Mathematics
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Bit and power allocation in constrained multicarrier systems: the single-user case
EURASIP Journal on Advances in Signal Processing
Lagrangian approaches for a class of matching problems in computational biology
Computers & Mathematics with Applications
Computational Optimization and Applications
Analysis of greedy approximations with nonsubmodular potential functions
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Journal of Parallel and Distributed Computing
An optimization framework for "build-or-buy" decisions in software architecture
Computers and Operations Research
Multi-layer MPLS network design: The impact of statistical multiplexing
Computer Networks: The International Journal of Computer and Telecommunications Networking
A ring-mesh topology design problem for optical transport networks
Journal of Heuristics
Workflow authorisation in mediator-free environments
International Journal of Security and Networks
On the approximability of some network design problems
ACM Transactions on Algorithms (TALG)
A class of multi-level balanced Foundation-Penalty cuts for mixed-integer programs
International Journal of Computational Science and Engineering
ILP-Based energy minimization techniques for banked memories
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Computers and Operations Research
Software-directed combined cpu/link voltage scaling fornoc-based cmps
SIGMETRICS '08 Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
MATH'07 Proceedings of the 12th WSEAS International Conference on Applied Mathematics
Stochastic robustness metric and its use for static resource allocations
Journal of Parallel and Distributed Computing
Red-blue covering problems and the consecutive ones property
Journal of Discrete Algorithms
Clustering strategies for improving the lifetime of two-tiered sensor networks
Computer Communications
Review of combinatorial optimization: packing and covering
ACM SIGACT News
Computers and Operations Research
Computational Intelligence and Security
A Heuristic Method for Selecting Support Features from Large Datasets
AAIM '07 Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management
Selecting Genotyping Oligo Probes Via Logical Analysis of Data
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Best-First AND/OR Search for 0/1 Integer Programming
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Inequalities from Two Rows of a Simplex Tableau
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Cuts for Conic Mixed-Integer Programming
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
A Framework to Derive Multidimensional Superadditive Lifting Functions and Its Applications
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Mixed-Integer Vertex Covers on Bipartite Graphs
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
On the MIR Closure of Polyhedra
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
IPCO '07 Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization
Optimal Field Splitting, with Applications in Intensity-Modulated Radiation Therapy
FAW '08 Proceedings of the 2nd annual international workshop on Frontiers in Algorithmics
Automatic Generation of Symmetry-Breaking Constraints
COCOA 2008 Proceedings of the 2nd international conference on Combinatorial Optimization and Applications
The Directed Minimum Latency Problem
APPROX '08 / RANDOM '08 Proceedings of the 11th international workshop, APPROX 2008, and 12th international workshop, RANDOM 2008 on Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques
Classes of Submodular Constraints Expressible by Graph Cuts
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Pattern search in the presence of degenerate linear constraints
Optimization Methods & Software
Lagrangian relaxation procedure for cardinality-constrained portfolio optimization
Optimization Methods & Software
A discrete dynamic convexized method for nonlinear integer programming
Journal of Computational and Applied Mathematics
A geometric characterization of "optimality-equivalent" relaxations
Journal of Global Optimization
Global solution of bilevel programs with a nonconvex inner program
Journal of Global Optimization
International Journal of Bioinformatics Research and Applications
Poly-logarithmic Approximation Algorithms for Directed Vehicle Routing Problems
APPROX '07/RANDOM '07 Proceedings of the 10th International Workshop on Approximation and the 11th International Workshop on Randomization, and Combinatorial Optimization. Algorithms and Techniques
A new approach for designing fault-tolerant WDM networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Local Monotonicity in Probabilistic Networks
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Revisiting multipoint relay selection in the optimized link state routing protocol
International Journal of Communication Networks and Distributed Systems
A new lower bound for the single row facility layout problem
Discrete Applied Mathematics
Minimizing total tardiness on a single machine with controllable processing times
Computers and Operations Research
Achieving Network Efficient Stateful Anycast Communications
Information Networking. Towards Ubiquitous Networking and Services
Reconstructing (0,1)-matrices from projections using integer programming
Computational Optimization and Applications
SODA: an optimizing scheduler for large-scale stream-based distributed computer systems
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Graphical Models, Exponential Families, and Variational Inference
Foundations and Trends® in Machine Learning
An accelerating technique for population based algorithms
CompSysTech '08 Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
On stochastic dynamic programming for solving large-scale planning problems under uncertainty
Computers and Operations Research
A branch-and-cut algorithm for the Winner Determination Problem
Decision Support Systems
Operation assignment and capacity allocation problem in automated manufacturing systems
Computers and Industrial Engineering
A column generation heuristic for a dynamic generalized assignment problem
Computers and Operations Research
Experimental analysis of optimization techniques on the road passenger transportation problem
Engineering Applications of Artificial Intelligence
Semantic Web Constraint Language and its application to an intelligent shopping agent
Decision Support Systems
On column generation formulations for the RWA problem
Discrete Applied Mathematics
A global optimization method for semi-supervised clustering
Data Mining and Knowledge Discovery
A note on some collapse results of valued constraints
Information Processing Letters
Acoustic sensor network design for position estimation
ACM Transactions on Sensor Networks (TOSN)
Combining global optimization with local selection for efficient QoS-aware service composition
Proceedings of the 18th international conference on World wide web
Mixed-integer programming models for nesting problems
Journal of Heuristics
A wrapper method for feature selection using Support Vector Machines
Information Sciences: an International Journal
A Scalable Approach for QoS-Based Web Service Selection
Service-Oriented Computing --- ICSOC 2008 Workshops
An Optimal Constrained Pruning Strategy for Decision Trees
INFORMS Journal on Computing
Linear-Programming-Based Lifting and Its Application to Primal Cutting-Plane Algorithms
INFORMS Journal on Computing
A Computational Analysis of Linear Price Iterative Combinatorial Auction Formats
Information Systems Research
Network Formulations of Mixed-Integer Programs
Mathematics of Operations Research
Cutting Planes for Multistage Stochastic Integer Programs
Operations Research
Optimal matrix-segmentation by rectangles
Discrete Applied Mathematics
A cutting plane algorithm for the capacitated facility location problem
Computational Optimization and Applications
e-Work based collaborative optimization approach for strategic logistic network design problem
Computers and Industrial Engineering
Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Computing generating sets of lattice ideals and Markov bases of lattices
Journal of Symbolic Computation
Genetic algorithms applied to the solution of hybrid optimal control problems in astrodynamics
Journal of Global Optimization
Optimal Length Resolution Refutations of Difference Constraint Systems
Journal of Automated Reasoning
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Grid-Enabled Optimization with GAMS
INFORMS Journal on Computing
Facets of the (s,t)-p-path polytope
Discrete Applied Mathematics
Computers and Operations Research
Optimal Real-Time Traffic Control in Metro Stations
Operations Research
Eliciting bid taker non-price preferences in (combinatorial) auctions
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Multiterm polyhedral relaxations for nonconvex, quadratically constrained quadratic programs
Optimization Methods & Software - GLOBAL OPTIMIZATION
Branching and bounds tighteningtechniques for non-convex MINLP
Optimization Methods & Software - GLOBAL OPTIMIZATION
Optimization Methods & Software - GLOBAL OPTIMIZATION
Autonomic microcell assignment in massively distributed online virtual environments
Journal of Network and Computer Applications
Minimal Valid Inequalities for Integer Constraints
Mathematics of Operations Research
Bid evaluation in combinatorial auctions: optimization and learning
Software—Practice & Experience
Note: The expressive power of binary submodular functions
Discrete Applied Mathematics
Towards global bilevel dynamic optimization
Journal of Global Optimization
Optimal beam scheduling for multicasting in wireless networks
Proceedings of the 15th annual international conference on Mobile computing and networking
Adaptive channel and power allocation of downlink multi-user MC-CDMA systems
Computers and Electrical Engineering
Mixed-integer programming methods for finding Nash equilibria
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Best-first AND/OR search for graphical models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Decomposition, reformulation, and diving in university course timetabling
Computers and Operations Research
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
Generalizing Boolean satisfiability II: theory
Journal of Artificial Intelligence Research
Global inference for sentence compression an integer linear programming approach
Journal of Artificial Intelligence Research
ICE: an expressive iterative combinatorial exchange
Journal of Artificial Intelligence Research
Information-theoretic approaches to branching in search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dynamic thread and data mapping for NoC based CMPs
Proceedings of the 46th Annual Design Automation Conference
A maximal tractable class of soft constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automatica (Journal of IFAC)
Strategic Planning with Start-Time Dependent Variable Costs
Operations Research
On maximal classes of utility functions for efficient one-to-one negotiation
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On solving the Lagrangian dual of integer programs via an incremental approach
Computational Optimization and Applications
The complexity of soft constraint satisfaction
Artificial Intelligence
Constraint-based optimization and utility elicitation using the minimax decision criterion
Artificial Intelligence
Orthogonal drawings of graphs with vertex and edge labels
Computational Geometry: Theory and Applications
Optimizing content distribution through adaptive distributed caching
Computer Communications
On the wireless local area network design problem with performance guarantees
Computer Networks: The International Journal of Computer and Telecommunications Networking
Is rate adaptation beneficial for inter-session network coding?
IEEE Journal on Selected Areas in Communications - Special issue on network coding for wireless communication networks
Variable neighbourhood decomposition search for 0-1 mixed integer programs
Computers and Operations Research
Approximation for minimum total dominating set
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
An efficient local predictive method for distributed timeslot allocation in CDMA/TDD
IEEE Transactions on Wireless Communications
Competitive strategies of U.S. Presidential candidates in election campaigns
Computers & Mathematics with Applications
Computational Optimization and Applications
A FPTAS for a class of linear multiplicative problems
Computational Optimization and Applications
Point of presence design in Internet protocol networks with performance guarantees
Computers and Operations Research - Articles presented at the conference on routing and location (CORAL)
Comparative approaches to equipment scheduling in high volume factories
Computers and Operations Research
Lagrangian duality applied to the vehicle routing problem with time windows
Computers and Operations Research
Precoding for the AWGN channel with discrete interference
IEEE Transactions on Information Theory
On-line fault diagnosis in a Petri net framework
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Autonomic service hosting for large-scale distributed MOVE-services
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Bivium as a Mixed-Integer Linear Programming Problem
Cryptography and Coding '09 Proceedings of the 12th IMA International Conference on Cryptography and Coding
MOPEN: A computational package for Linear Multiobjective and Goal Programming problems
Decision Support Systems
Supermodular functions and the complexity of MAX CSP
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
A polyhedral approach for a constrained quadratic 0-1 problem
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Optimization and reconstruction of hv-convex (0,1)-matrices
Discrete Applied Mathematics - Special issue: IWCIA 2003 - Ninth international workshop on combinatorial image analysis
Decomposition of integer matrices and multileaf collimator sequencing
Discrete Applied Mathematics
A class of web-based facets for the generalized vertex packing problem
Discrete Applied Mathematics
Minimization of ordered, symmetric half-products
Discrete Applied Mathematics
Discrete models for data imputation
Discrete Applied Mathematics
Polynomial approximation schemes and exact algorithms for optimum curve segmentation problems
Discrete Applied Mathematics
Equivalence of some LP-based lower bounds for the Golomb ruler problem
Discrete Applied Mathematics
A Branch-and-Cut algorithm for graph coloring
Discrete Applied Mathematics - Special issue: IV ALIO/EURO workshop on applied combinatorial optimization
Graph layering by promotion of nodes
Discrete Applied Mathematics - Special issue: IV ALIO/EURO workshop on applied combinatorial optimization
Beyond the pipeline: discrete optimization in NLP
CONLL '05 Proceedings of the Ninth Conference on Computational Natural Language Learning
User hints: a framework for interactive optimization
Future Generation Computer Systems
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Efficient algorithms to solve a class of resource allocation problems in large wireless networks
WiOPT'09 Proceedings of the 7th international conference on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
M-GRASP: a GRASP with memory for latency-aware partitioning methods in DVE systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Dynamic multiple-fault diagnosis with imperfect tests
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Minimal infeasible constraint sets in convex integer programs
Journal of Global Optimization
An integrated column generation and lagrangian relaxation for flowshop scheduling problems
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Shift Scheduling Problem in Same-Day Courier Industry
Transportation Science
A Generalized Wedelin Heuristic for Integer Programming
INFORMS Journal on Computing
A family of inequalities valid for the robust single machine scheduling polyhedron
Computers and Operations Research
A polyhedral approach to the stability of a family of coalitions
Discrete Applied Mathematics
On connectivity limits in ad hoc networks with beamforming antennas
EURASIP Journal on Wireless Communications and Networking - Special issue on optimization techniques in wireless communications
Out of order quantifier elimination for Standard Quantified Linear Programs
Journal of Symbolic Computation
Identification of missing neighbor cells in GERAN
Wireless Networks
Greedy approximations for minimum submodular cover with submodular cost
Computational Optimization and Applications
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
The traveling salesman: computational solutions for TSP applications
The traveling salesman: computational solutions for TSP applications
Improving customer proximity to railway stations
CIAC'03 Proceedings of the 5th Italian conference on Algorithms and complexity
A fast cutting-plane algorithm for optimal coalescing
CC'07 Proceedings of the 16th international conference on Compiler construction
The integer hull of a convex rational polytope
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
A hybrid method for solving large-scale supply chain problems
EvoCOP'07 Proceedings of the 7th European conference on Evolutionary computation in combinatorial optimization
Combinations of local search and exact algorithms
EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A quantitative approach for the design of academic curricula
Proceedings of the 2007 conference on Human interface: Part II
Efficient processing of relational queries with sum constraints
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
AND/OR multi-valued decision diagrams for constraint optimization
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Linear time maximum margin clustering
IEEE Transactions on Neural Networks
Selecting skyline services for QoS-based web service composition
Proceedings of the 19th international conference on World wide web
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Physician scheduling in emergency rooms
PATAT'06 Proceedings of the 6th international conference on Practice and theory of automated timetabling VI
An analysis of quantified linear programs
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
Constraint integer programming: a new approach to integrate CP and MIP
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Counting solutions of integer programs using unrestricted subtree detection
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Buyer-supplier games: optimization over the core
WAOA'07 Proceedings of the 5th international conference on Approximation and online algorithms
Modeling disjunctive constraints with a logarithmic number of binary variables and constraints
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
Budgeted matching and budgeted matroid intersection via the gasoline puzzle
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
A polynomial time algorithm for the stochastic uncapacitated lot-sizing problem with backlogging
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
Lifting integer variables in minimal inequalities corresponding to lattice-free triangles
IPCO'08 Proceedings of the 13th international conference on Integer programming and combinatorial optimization
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
On the facets of mixed integer programs with two integer variables and two constraints
LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
A branch & bound algorithm for medical image registration
IWCIA'08 Proceedings of the 12th international conference on Combinatorial image analysis
Complementarities in spectrum markets
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Global access network evolution
IEEE/ACM Transactions on Networking (TON)
Lamp: linear approach for matching points
ICIP'09 Proceedings of the 16th IEEE international conference on Image processing
Minimum distance computation of LDPC codes using a branch and cut algorithm
IEEE Transactions on Communications
An approximation approach for representing S-shaped membership functions
IEEE Transactions on Fuzzy Systems
Maximizing the contact opportunity for vehicular internet access
INFOCOM'10 Proceedings of the 29th conference on Information communications
A Note on “A Superior Representation Method for Piecewise Linear Functions”
INFORMS Journal on Computing
A separation algorithm for improved LP-decoding of linear block codes
IEEE Transactions on Information Theory
Operations Research
Solving linear pseudo-Boolean constraint problems with local search
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
International Journal of Sensor Networks
INFORMS Journal on Computing
ServiceStore: a peer-to-peer framework for QoS-aware service composition
NPC'10 Proceedings of the 2010 IFIP international conference on Network and parallel computing
Algorithmics in intensity-modulated radiation therapy
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Approximation algorithms for NP-hard optimization problems
Algorithms and theory of computation handbook
Building business intelligence applications having prescriptive and predictive capabilities
WAIM'10 Proceedings of the 11th international conference on Web-age information management
Non-transferable utility coalitional games via mixed-integer linear constraints
Journal of Artificial Intelligence Research
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
IEEE Transactions on Wireless Communications
Buyer-games: Optimization over the core
Theoretical Computer Science
Decorous Lower Bounds for Minimum Linear Arrangement
INFORMS Journal on Computing
Submodularity of Influence in Social Networks: From Local to Global
SIAM Journal on Computing
On the Complexity of Selecting Disjunctions in Integer Programming
SIAM Journal on Optimization
IEEE/ACM Transactions on Networking (TON)
Application of convex lexicographical optimization to the balance of GRTgaz gas grid
Journal of Global Optimization
Integer programming approaches for solving the delay management problem
ATMOS'04 Proceedings of the 4th international Dagstuhl, ATMOS conference on Algorithmic approaches for transportation modeling, optimization, and systems
Optimization models for application migration to support mobile thin clients
Proceedings of the Third international EURO-NGI network of excellence conference on Wireless systems and mobility in next generation internet
Maximum utility product pricing models and algorithms based on reservation price
Computational Optimization and Applications
A dynamic convexized method for nonconvex mixed integer nonlinear programming
Computers and Operations Research
Solution of the Train Platforming Problem
Transportation Science
Hybrid metaheuristics in combinatorial optimization: A survey
Applied Soft Computing
Mitigating deception in genetic search through suitable coding
ICONIP'06 Proceedings of the 13th international conference on Neural information processing - Volume Part III
Video distribution under multiple constraints
Theoretical Computer Science
An optimization approach to the synthesis of multichip architectures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Problem reduction heuristic for the 0-1 multidimensional knapsack problem
Computers and Operations Research
Fuzzy Optimization and Decision Making
Correntropy based feature selection using binary projection
Pattern Recognition
The Chvátal-Gomory Closure of a Strictly Convex Body
Mathematics of Operations Research
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part II
Branch-cut-and-propagate for the maximum k-colorable subgraph problem with symmetry
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
A new algorithm for linear and integer feasibility in horn constraints
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Network performance model for location area re-planning in GERAN
Computer Networks: The International Journal of Computer and Telecommunications Networking
A new model for allocating resources to scheduled lightpath demands
Computer Networks: The International Journal of Computer and Telecommunications Networking
Valid inequalities for the pooling problem with binary variables
IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
Design and verify: a new scheme for generating cutting-planes
IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
A new approach to the stable set problem based on ellipsoids
IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
Lifted Tableaux Inequalities for 0--1 Mixed-Integer Programs: A Computational Study
INFORMS Journal on Computing
Minimal Equivalent Binary Knapsack Inequalities
INFORMS Journal on Computing
An Improved Formulation of the Disclosure Auditing Problem for Secondary Cell Suppression
Transactions on Data Privacy
An interactive evolutionary algorithm for multiple objective convex integer problems
Proceedings of the 12th International Conference on Computer Systems and Technologies
A dynamic programming method with lists for the knapsack sharing problem
Computers and Industrial Engineering
A multi-period stochastic production planning and sourcing problem with discrete demand distribution
ICSI'11 Proceedings of the Second international conference on Advances in swarm intelligence - Volume Part II
Network-aware service placement and selection algorithms on large-scale overlay networks
Computer Communications
Optimizing the layout of proportional symbol maps
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part III
Efficient distributed linear programming with limited disclosure
DBSec'11 Proceedings of the 25th annual IFIP WG 11.3 conference on Data and applications security and privacy
Beamforming on mobile devices: a first study
MobiCom '11 Proceedings of the 17th annual international conference on Mobile computing and networking
Bouma2: a high-performance input-aware multiple string-match algorithm
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
An algebraic theory of complexity for valued constraints: establishing a Galois connection
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Negative cycle separation in wireless network design
INOC'11 Proceedings of the 5th international conference on Network optimization
A polyhedral approach for solving two facility network design problem
INOC'11 Proceedings of the 5th international conference on Network optimization
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
A dynamic model of controlling invasive species
Computers & Mathematics with Applications
A constrained binary knapsack approximation for shortest path network interdiction
Computers and Industrial Engineering
New Stabilization Procedures for the Cutting Stock Problem
INFORMS Journal on Computing
Computers and Operations Research
Quantitatively fair scheduling
Theoretical Computer Science
gSketch: on query estimation in graph streams
Proceedings of the VLDB Endowment
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Formal Methods in System Design
An intelligent shopping agent for optimal purchasing decision on the semantic web
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Tractable models for information diffusion in social networks
PKDD'06 Proceedings of the 10th European conference on Principle and Practice of Knowledge Discovery in Databases
An algebraic characterisation of complexity for valued constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
How to sell a graph: guidelines for graph retailers
WG'06 Proceedings of the 32nd international conference on Graph-Theoretic Concepts in Computer Science
Minimum membership set covering and the consecutive ones property
SWAT'06 Proceedings of the 10th Scandinavian conference on Algorithm Theory
Optimal positioning of sensors in 3d
CIARP'05 Proceedings of the 10th Iberoamerican Congress conference on Progress in Pattern Recognition, Image Analysis and Applications
Linear penalization support vector machines for feature selection
PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Can dynamic neural filters produce pseudo-random sequences?
ICANN'05 Proceedings of the 15th international conference on Artificial Neural Networks: biological Inspirations - Volume Part I
Expert Systems with Applications: An International Journal
A new efficient parallel revised relaxation algorithm
ICIC'06 Proceedings of the 2006 international conference on Intelligent Computing - Volume Part I
A unified view on hybrid metaheuristics
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
A branch-and-price approach for harvest scheduling subject to maximum area restrictions
Computational Optimization and Applications
Semi-Lagrangian relaxation applied to the uncapacitated facility location problem
Computational Optimization and Applications
Approximate solutions for the influence maximization problem in a social network
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Improving cutting plane generation with 0-1 inequalities by bi-criteria separation
SEA'10 Proceedings of the 9th international conference on Experimental Algorithms
Mixed-integer cuts from cyclic groups
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Optimizing over the first chvàtal closure
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Sequential pairing of mixed integer inequalities
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
Smoothed analysis of integer programming
IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization
On applying cutting planes in DLL-Based algorithms for pseudo-boolean optimization
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Aggregation network design for offering multimedia services to fast moving users
QoS-IP'05 Proceedings of the Third international conference on Quality of Service in Multiservice IP Networks
Delegate and conquer: an LP-based approximation algorithm for minimum degree MSTs
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
An ILP-Based approach to locality optimization
LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing
IWINAC'05 Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II
A graph theoretic approach to key equivalence
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Optimal protein threading by cost-splitting
WABI'05 Proceedings of the 5th International conference on Algorithms in Bioinformatics
Wavelength assignment in route-fixed optical WDM ring by a branch-and-price algorithm
ICN'05 Proceedings of the 4th international conference on Networking - Volume Part I
Optimization models for designing aggregation networks to support fast moving users
NGI'04 Proceedings of the First international conference on Wireless Systems and Mobility in Next Generation Internet
BDDs in a branch and cut framework
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
A 3/2-approximation algorithm for multiple depot multiple traveling salesman problem
SWAT'10 Proceedings of the 12th Scandinavian conference on Algorithm Theory
Edge-Connectivity augmentation and network matrices
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Boolean lexicographic optimization: algorithms & applications
Annals of Mathematics and Artificial Intelligence
Counting models in integer domains
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Approximation algorithms for the k-median problem
Efficient Approximation and Online Algorithms
A totally unimodular description of the consistent value polytope for binary constraint programming
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
AND/OR branch-and-bound search for pure 0/1 integer linear programming problems
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Field splitting problems in intensity-modulated radiation therapy
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
Feature relationships hypergraph for multimodal recognition
ICONIP'11 Proceedings of the 18th international conference on Neural Information Processing - Volume Part I
Strong combination of ant colony optimization with constraint programming optimization
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Branch and price algorithm for content allocation problem in VOD network
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IV
A hybrid approach for efficient Web service composition with end-to-end QoS constraints
ACM Transactions on the Web (TWEB)
Decision making as optimization in multi-robot teams
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Assigning multiple activities to work shifts
Journal of Scheduling
On n-step MIR and partition inequalities for integer knapsack and single-node capacitated flow sets
Discrete Applied Mathematics
Economic-based resource allocation for reliable Grid-computing service based on Grid Bank
Future Generation Computer Systems
Monotone branch-and-bound search for restricted combinatorial auctions
Proceedings of the 13th ACM Conference on Electronic Commerce
Planning for optimal multi-site data distribution for disaster recovery
GECON'11 Proceedings of the 8th international conference on Economics of Grids, Clouds, Systems, and Services
Production and inventory management under multiple resource constraints
Mathematical and Computer Modelling: An International Journal
Arterial-based control of traffic flow in urban grid networks
Mathematical and Computer Modelling: An International Journal
Branch and cut methods for network optimization
Mathematical and Computer Modelling: An International Journal
Railway scheduling by network optimization
Mathematical and Computer Modelling: An International Journal
Optimal control on a graph with application to train scheduling problems
Mathematical and Computer Modelling: An International Journal
Fixed-Charge Transportation with Product Blending
Transportation Science
Optimal project selection when borrowing and lending rates differ
Mathematical and Computer Modelling: An International Journal
Simultaneous loading, routing, and assembly plan selection in a flexible assembly system
Mathematical and Computer Modelling: An International Journal
Deterministic network interdiction
Mathematical and Computer Modelling: An International Journal
Boolean polynomials and set functions
Mathematical and Computer Modelling: An International Journal
Mathematical and Computer Modelling: An International Journal
Solving a fuzzy set-covering problem
Mathematical and Computer Modelling: An International Journal
A sensitivity analysis of matching coin game strategies
Mathematical and Computer Modelling: An International Journal
Integer programming approach to production scheduling for make-to-order manufacturing
Mathematical and Computer Modelling: An International Journal
An alternative formulation for certain fuzzy set-covering problems
Mathematical and Computer Modelling: An International Journal
Optimization with binet matrices
Operations Research Letters
On a class of mixed-integer sets with a single integer variable
Operations Research Letters
Inventory placement in acyclic supply chain networks
Operations Research Letters
Container vessel scheduling with bi-directional flows
Operations Research Letters
On the discrete lot-sizing and scheduling problem with sequence-dependent changeover times
Operations Research Letters
A compact formulation of the ring loading problem with integer demand splitting
Operations Research Letters
Convergence properties of the cross-entropy method for discrete optimization
Operations Research Letters
Operations Research Letters
Bounds on the size of branch-and-bound proofs for integer knapsacks
Operations Research Letters
Extended formulations for the cardinality constrained subtree of a tree problem
Operations Research Letters
Polymatroids and mean-risk minimization in discrete optimization
Operations Research Letters
Minimum cost dimensioning of ring optical networks
Optical Switching and Networking
An integer programming approach to DNA sequence assembly
Computational Biology and Chemistry
Reachability determination in acyclic Petri nets by cell enumeration approach
Automatica (Journal of IFAC)
The submodular knapsack polytope
Discrete Optimization
How tight is the corner relaxation?
Discrete Optimization
Computing robust basestock levels
Discrete Optimization
Nonconvex, lower semicontinuous piecewise linear optimization
Discrete Optimization
Global solution of optimization problems with signomial parts
Discrete Optimization
Sequential pairing of mixed integer inequalities
Discrete Optimization
Using mixed-integer programming to solve power grid blackout problems
Discrete Optimization
Note: Hypergraphs and the Clar problem in hexagonal systems
Discrete Optimization
On the high multiplicity traveling salesman problem
Discrete Optimization
A hybrid algorithm for the unbounded knapsack problem
Discrete Optimization
Discrete Optimization
Generating functions and duality for integer programs
Discrete Optimization
Set covering with almost consecutive ones property
Discrete Optimization
A polyhedral approach to edge coloring
Operations Research Letters
On the convex hull of feasible solutions to certain combinatorial problems
Operations Research Letters
Lot-sizing polyhedra with a cardinality constraint
Operations Research Letters
Some applications of nonnegative linear systems: Farkas strikes again
Operations Research Letters
Experiments with parallel branch-and-bound algorithms for the set covering problem
Operations Research Letters
Solving sequential knapsack problems
Operations Research Letters
Operations Research Letters
Reliability, covering and balanced matrices
Operations Research Letters
A characterization of knapsacks with the max-flow--min-cut property
Operations Research Letters
Greedy heuristics for single-machine scheduling problems with general earliness and tardiness costs
Operations Research Letters
Improved complexity bounds for location problems on the real line
Operations Research Letters
Monge matrices make maximization manageable
Operations Research Letters
Batch scheduling to minimize total completion time
Operations Research Letters
Using separation algorithms to generate mixed integer model reformulations
Operations Research Letters
Partial cover and complete cover inequalities
Operations Research Letters
A linear-time algorithm for the bottleneck transportation problem with a fixed number of sources
Operations Research Letters
Dual decomposition in stochastic integer programming
Operations Research Letters
Lifting theorems and facet characterization for a class of clique partitioning inequalities
Operations Research Letters
Valid integer polytope (VIP) penalties for branch-and-bound enumeration
Operations Research Letters
Polytopes related to the l∞-distance between vectors
Operations Research Letters
The 2-hop spanning tree problem
Operations Research Letters
A solution approach to the fixed charge network flow problem using a dynamic slope scaling procedure
Operations Research Letters
The partial constraint satisfaction problem: Facets and lifting theorems
Operations Research Letters
On dependent randomized rounding algorithms
Operations Research Letters
Operations Research Letters
ε-Approximation minimization of convex functions in fixed dimension
Operations Research Letters
Lotsizing with backlogging and start-ups: the case of Wagner-Whitin costs
Operations Research Letters
Notes on polyhedra associated with hop-constrained paths
Operations Research Letters
A simple version of Karzanov's blocking flow algorithm
Operations Research Letters
Integer programming, Barvinok's counting algorithm and Gomory relaxations
Operations Research Letters
Approximation algorithms for the Euclidean bipartite TSP
Operations Research Letters
Lifting facets of the cut polytope
Operations Research Letters
Journal of Global Optimization
On the Design of Deterministic Matrices for Fast Recovery of Fourier Compressible Functions
SIAM Journal on Matrix Analysis and Applications
Mixing Sets Linked by Bidirected Paths
SIAM Journal on Optimization
Combining static and dynamic models for boosting forward planning
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Guiding combinatorial optimization with UCT
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
New results about multi-band uncertainty in robust optimization
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
Fast separation algorithms for three-index assignment problems
ISCO'12 Proceedings of the Second international conference on Combinatorial Optimization
Differentiated quality-of-recovery in survivable optical mesh networks using p-structures
IEEE/ACM Transactions on Networking (TON)
Algebraic connectivity of an even uniform hypergraph
Journal of Combinatorial Optimization
Strategies for traffic grooming over logical topologies
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
ParaLEX: a parallel extension for the CPLEX mixed integer optimizer
PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Structural Search and Optimization in Social Networks
INFORMS Journal on Computing
On the incompleteness of the AS-level graph: a novel methodology for BGP route collector placement
Proceedings of the 2012 ACM conference on Internet measurement conference
Parallel partitioning for distributed systems using sequential assignment
Journal of Parallel and Distributed Computing
An integer programming approach for the view and index selection problem
Data & Knowledge Engineering
ICSR'12 Proceedings of the 4th international conference on Social Robotics
Reliable facility location design under disruptions
Computers and Operations Research
GUB Covers and Power-Indexed Formulations for Wireless Network Design
Management Science
Computing Optimal Recovery Policies for Financial Markets
Operations Research
Conservative scales in packing problems
OR Spectrum
Branch-and-bound algorithms for the partial inverse mixed integer linear programming problem
Journal of Global Optimization
A general constraint-centric scheduling framework for spatial architectures
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Benders Decomposition for the Hop-Constrained Survivable Network Design Problem
INFORMS Journal on Computing
Efficient Distribution of Water Between Head-Reach and Tail-End Farms in Developing Countries
Manufacturing & Service Operations Management
Thermal-aware datapath merging for coarse-grained reconfigurable processors
Proceedings of the Conference on Design, Automation and Test in Europe
2-clique-bond of stable set polyhedra
Discrete Applied Mathematics
Constraint centric scheduling guide
ACM SIGARCH Computer Architecture News
ITRS 2011 analog EDA challenges and approaches
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Computers and Industrial Engineering
Workload assignment considering NBTI degradation in multicore systems
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011
A 0---1 integer linear programming approach to schedule outages of nuclear power plants
Journal of Scheduling
The problem of trains formation and scheduling: Integer statements
Automation and Remote Control
Discrete Event Dynamic Systems
Scheduling arc maintenance jobs in a network to maximize total flow over time
Discrete Applied Mathematics
The Steiner Tree Problem with Delays: A compact formulation and reduction procedures
Discrete Applied Mathematics
The maximum vertex coverage problem on bipartite graphs
Discrete Applied Mathematics
Discrete Applied Mathematics
A math-heuristic Dantzig-Wolfe algorithm for capacitated lot sizing
Annals of Mathematics and Artificial Intelligence
Lower and upper bounds for the spanning tree with minimum branch vertices
Computational Optimization and Applications
Structural and Multidisciplinary Optimization
Journal of Network and Systems Management
Secure and efficient distributed linear programming
Journal of Computer Security - DBSec 2011
Discrete Tomography Data Footprint Reduction via Natural Compression
Fundamenta Informaticae - Strategies for Tomography
Hi-index | 0.15 |