Sciweavers

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

4

AAAI
2008

favoriteEmaildiscussreport

91views Intelligent Agents» more AAAI 2008»

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving

13 years 6 months ago

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving

Download www.laria.u-picardie.fr

Han Lin, Kaile Su, Chu Min Li

Real-time Traffic

AAAI 2008 | Intelligent Agents |

claim paper

Related Content

» MiniMaxSAT An Efficient Weighted MaxSAT solver

» Efficient Learning Algorithms Yield Circuit Lower Bounds

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2008
Where	AAAI
Authors	Han Lin, Kaile Su, Chu Min Li

Comments (0)