Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

AAAI
1997

favoriteEmaildiscussreport

84views Intelligent Agents» more AAAI 1997»

Local Search Algorithms for Partial MAXSAT

13 years 5 months ago

Local Search Algorithms for Partial MAXSAT

Download www.aaai.org

Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuic

Real-time Traffic

AAAI 1997 | Intelligent Agents |

claim paper

Related Content

» Scaling and Probabilistic Smoothing Dynamic Local Search for Unweighted MAXSAT

» Iterated Robust Tabu Search for MAXSAT

» Backbone Guided Local Search for Maximum Satisfiability

» On the Relative Merits of Simple Local Search Methods for the MAXSAT Problem

» Guided Local Search for Solving SAT and Weighted MAXSAT Problems

» The Impact of MaxSAT ResolutionBased Preprocessors on Local Search Solvers

» Relaxed DPLL Search for MaxSAT

» Weight Redistribution for Unweighted MAXSAT

» Estimating Bounds on Expected Plateau Size in MAXSAT Problems

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1997
Where	AAAI
Authors	Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki

Comments (0)