English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances

Wahlström, M. (2008). A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances. In M. Grohe, & R. Niedermeier (Eds.), Parameterized and Exact Computation (pp. 202-213). Berlin: Springer. doi:10.1007/978-3-540-79723-4_19.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1B18-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-F371-D
Genre: Conference Paper
Latex : A Tighter Bound for Counting Max-Weight Solutions to {2SAT} Instances

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Wahlström, Magnus1, Author           
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Content

show
hide
Free keywords: -
 Abstract: We give an algorithm for counting the number of max-weight solutions to a 2SAT formula, and improve the bound on its running time to $O(1.2377^n)$. The main source of the improvement is a refinement of the method of analysis, where we extend the concept of compound (piecewise linear) measures to multivariate measures, also allowing the optimal parameters for the measure to be found automatically. This method extension should be of independent interest.

Details

show
hide
Language(s): eng - English
 Dates: 2009-03-2020082008
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 428252
DOI: 10.1007/978-3-540-79723-4_19
URI: http://dx.doi.org/10.1007/978-3-540-79723-4_19
Other: Local-ID: C125756E0038A185-E33C46205BC9FFE2C1257551005BDF84-Wahlstroem2008
 Degree: -

Event

show
hide
Title: Third International Workshop on Parameterized and Exact Computation
Place of Event: Victoria, BC, Canada
Start-/End Date: 2008-05-14 - 2008-05-16

Legal Case

show

Project information

show

Source 1

show
hide
Title: Parameterized and Exact Computation
  Abbreviation : IWPEC 2008
  Subtitle : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings Pages
Source Genre: Proceedings
 Creator(s):
Grohe, Martin1, Editor
Niedermeier, Rolf1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 202 - 213 Identifier: ISBN: 978-3-540-79722-7

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 5018 Sequence Number: - Start / End Page: - Identifier: -