MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On Solving the Partial MAX-SAT Problem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • On solving the Partial MAX-SAT problem  
  • by Zhaohui Fu, Sharad Malik — 2006 — In International Conference on Theory and Applications of Satisfiability Testing (SAT’06), LNCS 4121
  • …On Solving The Partial MAX-SAT Problem ⋆ Zhaohui Fu ⋆⋆ and Sharad Malik Department of Electrical…
  • Cited by 7 (0 self) – Add To MetaCart
  • Alba Cabiscol  
  • by Josep Argelich, Diei Udl, Inês Lynce, Felip Manyà
  • …-suited for representing and solving NP-hard problems. A Partial Max-SAT instance is a CNF formula in which some clauses…
  • Add To MetaCart
  • Modelling Max-CSP as Partial Max-SAT ⋆  
  • by Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
  • … to be complete [5, 6], (iv) formalisms like Partial Max-SAT have been investigated for solving problems with soft…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB