![]() ![]() Global Cut Framework for Removing Symmetries. Proceedings of the Nineteenth National Conference on Artificial Intelligence, AAAI Press, 2004, pp. Complete Local Search for Propositional Satisfiability. Proceedings of the Seventh International Conference on Principles and Practices of Constraint Programming, Lecture Notes in Computer Science vol. Proceedings of the CP’97 Workshop on Industrial Constraint-Directed Scheduling, 1997. Local Search in Constraint Programming: Application to the Vehicle Routing Problem. Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996, pp. Symmetry Breaking Predicates for Search Problems. Second DIMACS Challenge: Cliques, Coloring, and Satisfiability, October 1993, Rutgers University, NJ, USA. Solving Satisfiability Problems Using a Combination of Systematic and Local Search. Proceedings of the Second International Conference on Principles and Practices of Constraint Programming, 1996, pp. Local Search and the Number of Solutions. Mora (ed.), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Backtrack Searching in the Presence of Symmetry. Proceedings of the Sixteenth European Conference on Artificial Intelligence, IOS Press, 2004, pp. Boosting Systematic Search by Weighting Constraints. Partitioning Procedures for Solving Mixed Variables Programming Problems. Journal of Artificial Intelligence Research 29:49–77, 2007. Solution-Guided, Multi-Point Constructive Search. Fifth International Conference on Genetic Algorithms, 1993, pp. Reducing Epistasis in Combinatorial Problems by Expansive Coding. Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science vol. Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. Proceedings of the Twelfth National Conference on Artificial Intelligence, vol. Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science vol. Excluding Symmetries in Constraint-Based Search. Poster paper, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, 2007. GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |