A new polynomial-time algorithm for linear programming
Combinatorica
Future paths for integer programming and links to artificial intelligence
Computers and Operations Research - Special issue: Applications of integer programming
Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integer and combinatorial optimization
Integer and combinatorial optimization
An algorithm for solving the job-shop problem
Management Science
A modeling language for mathematical programming
Management Science
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
Combinatorial aspects of construction of competition Dutch Professional Football Leagues
Discrete Applied Mathematics - Special issue: Timetabling and chromatic scheduling
On the approximation of maximum satisfiability
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
A simplex algorithm for piecewise-linear programming III: computational analysis and application
Mathematical Programming: Series A and B
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A Lagrange relaxation approach for very-large-scale capacitated lot-sizing
Management Science
Modern heuristic techniques for combinatorial problems
Modern heuristic techniques for combinatorial problems
Modern heuristic techniques for combinatorial problems
Evaluation of heuristic performance
Modern heuristic techniques for combinatorial problems
A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Exploiting the deep structure of constraint problems
Artificial Intelligence
Experimental results on the application of satisfiability algorithms to scheduling problems
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Randomized algorithms
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Approximation algorithms for NP-hard problems
Approximation algorithms for NP-hard problems
A genetic algorithm for the generalised assignment problem
Computers and Operations Research
Reactive search, a history-sensitive heuristic for MAX-SAT
Journal of Experimental Algorithmics (JEA)
Learning evaluation functions for global optimization and Boolean satisfiability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A fast algorithm for the bound consistency of alldiff constraints
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using Arc weights to improve iterative repair
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
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
Boosting combinatorial search through randomization
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Mixed logical-linear programming
Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
A machine program for theorem-proving
Communications of the ACM
Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Local Search in Combinatorial Optimization
Local Search in Combinatorial Optimization
Tabu Search
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
General Purpose Heuristics for Integer Programming—Part II
Journal of Heuristics
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Over-Constrained Systems
Solving Hard Combinatorial Problems with GSAT - A Case Study
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Branch and Infer: a Unifying Framework for Integer and Finite Domain Constraint Programming
INFORMS Journal on Computing
Extending GENET for Non-Binary Constraint Satisfaction Problems
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
An empirical analysis of search in GSAT
Journal of Artificial Intelligence Research
Domain-independent extensions to GSAT: solving large structured satisfiability problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Oz: a programming language for multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
Meta-heuristics: The State of the Art
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
A Schedule-Then-Break Approach to Sports Timetabling
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
A Constraint-Based Language for Virtual Agents
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Solving Hierarchical Constraints over Finite Domains with Local Search
Annals of Mathematics and Artificial Intelligence
Integer optimization models of AI planning problems
The Knowledge Engineering Review
Using the structure of Web sites for automatic segmentation of tables
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Control Abstractions for Local Search
Constraints
Maintaining Longest Paths Incrementally
Constraints
College basketball scheduling with travel swings
Computers and Industrial Engineering
Scheduling the professional soccer leagues of Austria and Germany
Computers and Operations Research
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings
Journal of Automated Reasoning
A Local-Search-Based Heuristic for the Demand-Constrained Multidimensional Knapsack Problem
INFORMS Journal on Computing
Generic Incremental Algorithms for Local Search
Constraints
Filtering algorithms for the multiset ordering constraint
Artificial Intelligence
Revisiting constraint-directed search
Information and Computation
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
Novel tools to streamline the conference review process: experiences from SIGKDD'09
ACM SIGKDD Explorations Newsletter
Set variables and local search
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A local search system for solving constraint problems of declarative graph-based global constraints
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
The Express heuristic for probabilistically constrained integer problems
Journal of Heuristics
Hi-index | 0.00 |