Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Bockmayr, Alexander
Barth, Peter
Kasper, Thomas

dblp
dblp
dblp



Editor(s):

Steinbach, B.

dblp



BibTeX cite key*:

BockmayrBarthKasper96

Title, Booktitle

Title*:

Methods and Tools for Pseudo-Boolean Problems

Booktitle*:

2. Workshop Boolesche Probleme

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Freiberg, Sachsen

Language:

English

Event Date*
(no longer used):

19./20. September 1996

Organization:


Event Start Date:

20 September 2019

Event End Date:

20 September 2019

Publisher

Name*:

TU Bergakademie Freiberg, Institut für Informatik

URL:


Address*:

Freiberg, Sachsen

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

105-109

Year*:

1996

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) 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.

Keywords:

Pseudo-Boolean Functions, Constraints



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPG publications list, working group publication list, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{BockmayrBarthKasper96,
AUTHOR = {Bockmayr, Alexander and Barth, Peter and Kasper, Thomas},
EDITOR = {Steinbach, B.},
TITLE = {Methods and Tools for Pseudo-Boolean Problems},
BOOKTITLE = {2. Workshop Boolesche Probleme},
PUBLISHER = {TU Bergakademie Freiberg, Institut für Informatik},
YEAR = {1996},
PAGES = {105--109},
ADDRESS = {Freiberg, Sachsen},
}


Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Alexander Bockmayr
Created
03/21/1997 07:07:31 PM
Revisions
2.
1.
0.

Editor(s)
Uwe Brahm
Alexander Bockmayr
Alexander Bockmayr

Edit Dates
27.03.97 15:04:52
21/03/97 19:45:50
21/03/97 19:07:31