A Glimpse of Constraint Satisfaction
Artificial Intelligence Review
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
Journal of Automated Reasoning
Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems
Journal of Global Optimization
A Discrete Lagrangian-Based Global-SearchMethod for Solving Satisfiability Problems
Journal of Global Optimization
An information-based neural approach to generic constraint satisfaction
Artificial Intelligence
Approximate Processing of Multiway Spatial Joins in Very Large Databases
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
Reducing search space in local search for constraint satisfaction
Eighteenth national conference on Artificial intelligence
Removing Node and Edge Overlapping in Graph Layouts by A Modified EGENET Solver
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
IEEE Intelligent Systems
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Partially defined constraints in constraint-based design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Tackling car sequencing problems using a generic genetic algorithm
Evolutionary Computation
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The exponentiated subgradient algorithm for heuristic Boolean programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Systematic versus stochastic constraint satisfaction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A study of greedy, local search, and ant colony optimization approaches for car sequencing problems
EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Weighting for godot: learning heuristics for GSAT
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Lagrange neural network for solving CSP which includes linear inequality constraints
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
ISNN'05 Proceedings of the Second international conference on Advances in Neural Networks - Volume Part I
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |