OPBDP - A Davis-Putnam Based Enumeration Algorithm for Linear Pseudo-Boolean Optimization

OPBDP has a new home on the web. Please update your bookmarks. Thanks.

• Homepage
• About the Institute
• Departments:
  • Algorithms & Complexity
  • Computer Vision and Multimodal Computing
  • Computational Biology & Applied Algorithmics
  • Computer Graphics
  • Databases and Information Systems
  • Computational Genomics and Epidemiology
  • Ontologies
  • Automation of Logic
    • People
    • Research Areas
    • Offers
    • Teaching
    • Talks & Events
    • Publications
    • Software
    • Useful Links
• News & Activities
• Location
• People
• Services
• Library
• Graduate School (IMPRS-CS)
• Max Planck Center
• Sitemap