Universitat de Lleida
    • English
    • català
    • español
  • English 
    • English
    • català
    • español
  • Login
Repositori Obert UdL
View Item 
  •   Home
  • Recerca
  • Informàtica i Enginyeria Industrial
  • Articles publicats (Informàtica i Enginyeria Industrial)
  • View Item
  •   Home
  • Recerca
  • Informàtica i Enginyeria Industrial
  • Articles publicats (Informàtica i Enginyeria Industrial)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT

Thumbnail
View/Open
007816.pdf (66.25Kb)
Sol·licita una còpia
Issue date
2003
Author
Planes Cid, Jordi
Suggested citation
Planes Cid, Jordi; . (2003) . Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. Lecture Notes in Computer Science, 2003, vol. 2833, p. 991. https://doi.org/10.1007/978-3-540-45193-8_115.
Impact


Web of Science logo    citations in Web of Science

Scopus logo    citations in Scopus

Google Scholar logo  Google Scholar
Share
Export to Mendeley
Metadata
Show full item record
Abstract
We developed novel branch and bound algorithms for solving Max-SAT and weighted Max-SAT, which are variants of the algorithm of Borchers & Furman (BFA) [1]. We improved BFA by (i) defining a lower bound of better quality, and (ii) incorporating a new variable selection heuristic.
URI
http://hdl.handle.net/10459.1/57376
DOI
https://doi.org/10.1007/978-3-540-45193-8_115
Is part of
Lecture Notes in Computer Science, 2003, vol. 2833, p. 991
European research projects
Collections
  • Publicacions de projectes de recerca del Plan Nacional [2666]
  • Articles publicats (Informàtica i Enginyeria Industrial) [934]
  • Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES) [444]

Contact Us | Send Feedback | Legal Notice
© 2022 BiD. Universitat de Lleida
Metadata subjected to 
 

 

Browse

All of the repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

Statistics

View Usage Statistics

D'interès

Política institucional d'accés obertDiposita les teves publicacionsDiposita dades de recercaSuport a la recerca

Contact Us | Send Feedback | Legal Notice
© 2022 BiD. Universitat de Lleida
Metadata subjected to