English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Methods and Tools for Pseudo-Boolean Problems

Bockmayr, A., Barth, P., & Kasper, T. (1996). Methods and Tools for Pseudo-Boolean Problems. In B. Steinbach (Ed.), 2. Workshop Boolesche Probleme (pp. 105-109). Freiberg, Sachsen: TU Bergakademie Freiberg, Institut für Informatik.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABE6-5 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABE7-3
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Bockmayr, Alexander1, Author           
Barth, Peter1, Author           
Kasper, Thomas1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: Pseudo-Boolean problems are a generalization of Boolean problems and combine Boolean algebra with arithmetic. A pseudo-Boolean problem is defined by equations and inequalities between integer polynomials in 0-1 variables. We describe methods and tools for solving pseudo-Boolean problems that combine techniques from automated deduction and operations research. The basic idea is to compute strong valid inequalities for the underlying set of 0-1 vectors.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121996
 Publication Status: Issued
 Pages: -
 Publishing info: Freiberg, Sachsen : TU Bergakademie Freiberg, Institut für Informatik
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519545
Other: Local-ID: C1256104005ECAFC-73257C6123ADBFF3C12564610063910C-BockmayrBarthKasper96
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Freiberg, Sachsen
Start-/End Date: 1996

Legal Case

show

Project information

show

Source 1

show
hide
Title: 2. Workshop Boolesche Probleme
Source Genre: Proceedings
 Creator(s):
Steinbach, B., Editor
Affiliations:
-
Publ. Info: Freiberg, Sachsen : TU Bergakademie Freiberg, Institut für Informatik
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 105 - 109 Identifier: -