[AI Seminar] AI Seminar sponsored by Apple -- Po-Wei Wang -- Dec. 18th

[Han Zhao]

Dear faculty and students:

We look forward to seeing you next Tuesday, Dec. 18th, at noon in *NSH
3305 *for AI Seminar sponsored by Apple. To learn more about the
seminar series,
please visit the website.
On Tuesday, Po-Wei Wang will give the following talk:

*Title: **Low-rank Semidefinite Programming for the MAX2SAT Problem*

*Abstract: *This paper proposes a new algorithm for solving MAX2SAT
problems based on combining search methods with semidefinite programming
approaches. Semidefinite programming techniques are well-known as a
theoretical tool for approximating maximum satisfiability problems, but
their application has traditionally been very limited by their speed and
randomized nature. Our approach overcomes this difficult by using a recent
approach to low-rank semidefinite programming, specialized to work in an
incremental fashion suitable for use in an exact search algorithm. The
method can be used both within complete or incomplete solver, and we
demonstrate on a variety of problems from recent competitions. Our
experiments show that the approach is faster (sometimes by orders of
magnitude) than existing state-of-the-art complete and incomplete solvers,
representing a substantial advance in search methods specialized for
MAX2SAT problems.

(Based on joint work with J. Zico Kolter, published at AAAI-19.)
-- 

*Han ZhaoMachine Learning Department*


*School of Computer ScienceCarnegie Mellon UniversityMobile: +1-*
*412-652-4404*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/ai-seminar-announce/attachments/20181216/ec22ef51/attachment.html>