On the approximation of maximum satisfiability
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
ICS '96 Proceedings of the 10th international conference on Supercomputing
Reactive search, a history-sensitive heuristic for MAX-SAT
Journal of Experimental Algorithmics (JEA)
Greedy, Prohibition, and Reactive Heuristics for Graph Partitioning
IEEE Transactions on Computers
sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing
Proceedings of the 2002 international symposium on Physical design
Simplification Rules for the Coherent Probability Assessment Problem
Annals of Mathematics and Artificial Intelligence
Local Search Algorithms for SAT: An Empirical Evaluation
Journal of Automated Reasoning
Variable Neighborhood Decomposition Search
Journal of Heuristics
A Discrete Lagrangian-Based Global-SearchMethod for Solving Satisfiability Problems
Journal of Global Optimization
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Solving Satisfiability Via Boltzmann Machines
IEEE Transactions on Pattern Analysis and Machine Intelligence
Reactive Search for Traffic Grooming in WDM Networks
IWDC '01 Proceedings of the Thyrrhenian International Workshop on Digital Communications: Evolutionary Trends of the Internet
Heuristics for Improving the Non-oblivious Local Search for MaxSAT
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Improved Exact Algorithms for MAX-SAT
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Efficient 2 and 3-Flip Neighborhood Search Algorithms for the MAX SAT
COCOON '98 Proceedings of the 4th Annual International Conference on Computing and Combinatorics
Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Some Prospects for Efficient Fixed Parameter Algorithms
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Analysis of Random Noise and Random Walk Algorithms
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Tight Bound on Johnson's Algoritihm for Max-SAT
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Worst-case study of local search for MAX-k-SAT
Discrete Applied Mathematics - The renesse issue on satisfiability
Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic
Proceedings of the 2004 ACM symposium on Applied computing
Compiling propositional weighted bases
Artificial Intelligence - Special issue on nonmonotonic reasoning
Variable neighborhood search for the maximum clique
Discrete Applied Mathematics - The fourth international colloquium on graphs and optimisation (GO-IV)
MaxSolver: an efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Improving exact algorithms for MAX-2-SAT
Annals of Mathematics and Artificial Intelligence
A Genetic Model: Analysis and Application to MAXSAT
Evolutionary Computation
Efficient initial solution to extremal optimization algorithm for weighted MAXSAT problem
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
An effective heuristic algorithm for the maximum satisfiability problem
Applied Intelligence
Computers and Operations Research - Anniversary focused issue of computers & operations research on tabu search
GASAT: a genetic local search algorithm for the satisfiability problem
Evolutionary Computation
GRASP with path relinking for the weighted MAXSAT problem
Journal of Experimental Algorithmics (JEA)
An efficient solver for weighted Max-SAT
Journal of Global Optimization
Strength Two Covering Arrays Construction Using a SAT Representation
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Theoretical Analysis of Search in GSAT
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Local search starting from an LP solution: Fast and quite good
Journal of Experimental Algorithmics (JEA)
MAX-2-SAT: how good is Tabu search in the worst-case?
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Study of lower bound functions for MAX-2-SAT
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the relationship between probabilistic logic and π-CMS
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Iterated robust tabu search for MAX-SAT
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Scaling and probabilistic smoothing: dynamic local search for unweighted MAX-SAT
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Designing a phenotypic distance index for radial basis function neural networks
IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Adaptive tabu tenure computation in local search
EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
Combining finite learning automata with GSAT for the satisfiability problem
Engineering Applications of Artificial Intelligence
Local search algorithms for partial MAXSAT
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
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
Computing the density of states of Boolean formulas
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Boosting learning and inference in Markov logic through metaheuristics
Applied Intelligence
Variable and clause ordering in an FSA approach to propositional satisfiability
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Tight bounds on local search to approximate the maximum satisfiability problems
COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics
UBCSAT: an implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
GRASP with path-relinking for the weighted maximum satisfiability problem
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
Efficient and experimental meta-heuristics for MAX-SAT problems
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
Boolean lexicographic optimization: algorithms & applications
Annals of Mathematics and Artificial Intelligence
On the relative merits of simple local search methods for the MAX-SAT problem
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
A survey of approximation results for local search algorithms
Efficient Approximation and Online Algorithms
Adaptive memory-based local search for MAX-SAT
Applied Soft Computing
Solving weighted MAX-SAT via global equilibrium search
Operations Research Letters
A finite state intersection approach to propositional satisfiability
Theoretical Computer Science
A non-adaptive stochastic local search algorithm for the CHeSC 2011 competition
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
A multilevel memetic algorithm for large sat-encoded problems
Evolutionary Computation
On handling ephemeral resource constraints in evolutionary search
Evolutionary Computation
| Hi-index | 0.01 |