Thumbnail
Access Restriction
Open

Author Alsinet, Teresa ♦ Manyà, Felip ♦ Planes, Jordi
Source CiteSeerX
Content type Text
Publisher Springer LNCS
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Original Data Structure ♦ Weighted Max-sat ♦ Exact Solver ♦ New Branch ♦ Max-sat Solver ♦ Inference Rule
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2005-01-01
Publisher Institution In: Proc. of the 8th SAT conference. (2005