Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
A polynomial time algorithm for the N-Queens problem
ACM SIGART Bulletin
Computational experience with an interior point algorithm on the satisfiability problem
Annals of Operations Research
3,000,000 Queens in less than one minute
ACM SIGART Bulletin
Parallel algorithms and architectures for very fast AI search
Parallel algorithms and architectures for very fast AI search
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
A Novel Discrete Relaxation Architecture
IEEE Transactions on Pattern Analysis and Machine Intelligence
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
Avoiding local optima in the p-hub location problem using tabu search and grasp
Annals of Operations Research - Special issue on locational decisions
A continuous approach to inductive inference
Mathematical Programming: Series A and B
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)
Genetic algorithms + data structures = evolution programs (2nd, extended ed.)
Genetic algorithms + data structures = evolution programs (2nd, extended ed.)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem
IEEE Transactions on Knowledge and Data Engineering
Discrete Lagrangian Method for Optimizing the Design of Multiplierless QMF Filter Banks
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Constraint-Based Searching: Algorithms and Architectures
Constraint-Based Searching: Algorithms and Architectures
Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
Extending GENET to solve fuzzy constraint satisfaction problems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Boolean satisfiability in electronic design automation
Proceedings of the 37th Annual Design Automation Conference
Proceedings of the 38th annual Design Automation Conference
Board-level multiterminal net assignment
Proceedings of the 12th ACM Great Lakes symposium on VLSI
Local search characteristics of incomplete SAT procedures
Artificial Intelligence
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
Journal of Automated Reasoning
Discrete Lagrangian Methods for Designing Multiplierless Two-Channel PR-LP Filter Banks
Journal of VLSI Signal Processing Systems
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards Fewer Parameters for SAT Clause Weighting Algorithms
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
A Hybrid Seachr Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
The Quest for Efficient Boolean Satisfiability Solvers
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Lagrange Multipliers for Local Search on Planning Graphs
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Journal of Symbolic Computation
Discrete Lagrangian Method for Optimizing the Design of Multiplierless QMF Filter Banks
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with 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
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Experimental complexity analysis of continuous constraint satisfaction problems
Information Sciences: an International Journal
Board-level multiterminal net assignment for the partial cross-bar architecture
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on the 2001 international conference on computer design (ICCD)
Annals of Mathematics and Artificial Intelligence
A SAT Approach to Query Optimization in Mediator Systems
Annals of Mathematics and Artificial Intelligence
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Clause Weighting Local Search for SAT
Journal of Automated Reasoning
Grid capacity planning with negotiation-based advance reservation for optimized QoS
Proceedings of the 2006 ACM/IEEE conference on Supercomputing
Discrete Applied Mathematics
Complete local search for propositional satisfiability
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Relaxed survey propagation for the weighted maximum satisfiability problem
Journal of Artificial Intelligence Research
A stochastic non-CNF SAT solver
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Hybrid algorithms in constraint programming
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Another complete local search method for SAT
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Characterizing propagation methods for boolean satisfiability
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
A genetic algorithm hybridized with the discrete lagrangian method for trap escaping
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Multi-agent collaborative service and distributed problem solving
Cognitive Systems Research
Hi-index | 0.00 |
Satisfiability is a class of NP-complete problems that model a wide rangeof real-world applications. These problems are difficult to solve becausethey have many local minima in their search space, often trapping greedysearch methods that utilize some form of descent. In this paper, we proposea new discrete Lagrange-multiplier-based global-search method (DLM) forsolving satisfiability problems. We derive new approaches for applyingLagrangian methods in discrete space, we show that an equilibrium is reachedwhen a feasible assignment to the original problem is found and presentheuristic algorithms to look for equilibrium points. Our method and analysisprovides a theoretical foundation and generalization of local search schemesthat optimize the objective alone and penalty-based schemes that optimizethe constraints alone. In contrast to local search methods that restart froma new starting point when a search reaches a local trap, the Lagrangemultipliers in DLM provide a force to lead the search out of a local minimumand move it in the direction provided by the Lagrange multipliers. Incontrast to penalty-based schemes that rely only on the weights of violatedconstraints to escape from local minima, DLM also uses the value of anobjective function (in this case the number of violated constraints) toprovide further guidance. The dynamic shift in emphasis between theobjective and the constraints, depending on their relative values, is thekey of Lagrangian methods. One of the major advantages of DLM is that it hasvery few algorithmic parameters to be tuned by users. Besides the searchprocedure can be made deterministic and the results reproducible. Wedemonstrate our method by applying it to solve an extensive set of benchmarkproblems archived in DIMACS of Rutgers University. DLM often performs betterthan the best existing methods and can achieve an order-of-magnitudespeed-up for some problems.