Amanote Research
Register
Sign In
Local Search for Distributed SAT With Complex Local Problems
doi 10.1145/545056.545099
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2002
Authors
Katsutoshi Hirayama
Makoto Yokoo
Publisher
ACM Press
Related search
Local Search for Distributed SAT With Complex Local Problems
Local Search Characteristics of Incomplete SAT Procedures
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Generating SAT Local-Search Heuristics Using a GP Hyper-Heuristic Framework
Local Search for Parallel Optimization Algorithms for High Diminsional Optimization Problems
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Improved Particle Swarm Optimization With a Collective Local Unimodal Search for Continuous Optimization Problems
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
A Feasibility-Preserving Local Search Operator for Constrained Discrete Optimization Problems
Multi-Start Local Search Algorithm for the Minimum Connected Dominating Set Problems
Mathematics
Mathematics
Combining Systematic and Local Search for Approximately Solving Fuzzy Constraint Satisfaction Problems
Transactions of the Japanese Society for Artificial Intelligence
Artificial Intelligence
Software
An Automaton Constraint for Local Search
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
