Search

Articles
Catalog
Databases
Journals
UWDC

Ask a Librarian
Accounts & Lists
Libraries
UW–Madison
Give
Help
Website Search

schedule

Available today at 9 a.m.

Additional Options

Call / Text
Consultation Appointment
Visit
Email

Business Library
College Library (Undergraduate)
Ebling Library (Health Sciences)
Gender and Women's Studies Librarian
Information School Library (Information Studies)
Law Library (Law)
Memorial Library (Humanities & Social Sciences)
MERIT Library (Education)
Steenbock Library (Agricultural & Life Sciences, Engineering)

Ask a Librarian Hours & Policy
Library Research Tutorials

Search the for

Articles Find articles in journals, magazines, newspapers, and more

Catalog Explore books, music, movies, and more

Databases Locate databases by title and description

Journals Find journal titles

UWDC Discover digital collections, images, sound recordings, and more

Website Find information on spaces, staff, services, and more

Website Search

Find information on spaces, staff, and services.

ASK a Librarian
Library by Appointment
Locations & Hours
Resources by Subject

Catalog Search

Search the physical and online collections at UW-Madison, UW System libraries, and the Wisconsin Historical Society.

keyboard_arrow_down

Available Online
Print/Physical Items
Limit to UW-Madison

Advanced Search
Browse by...
WorldCat

Database Search

Find databases subscribed to by UW-Madison Libraries, searchable by title and description.

Browse by Subject/Type
Introductory Databases
Top 10 Databases

Journal Search

Find journal titles available online and in print.

keyboard_arrow_down

Available Online
Print/Physical Items
Limit to UW-Madison

Browse by Subject / Title
BrowZine
Citation Search

Article Search

Find articles in journals, magazines, newspapers, and more.

keyboard_arrow_down

Available Online
Scholarly (peer-reviewed)
Open Access

Citation Search
Library Databases

UW Digital Collections Search

Discover digital objects and collections curated by the UW Digital Collections Center.

keyboard_arrow_down

Browse Collections
Browse UWDC Items

University of Wisconsin–Madison
Libraries

- UW Home
- My UW
- Email/Calendar
- Canvas
- Box
- Google Apps
Help
Give

Search the UW-Madison Libraries

Articles
Catalog
Databases
Journals
UWDC

favorite Saved Lists

book

Catalog Search

keyboard_arrow_down

Search
Catalog
Handbook of satisfiability

Books

Handbook of satisfiability

Available as: Online; Physical

View Online
Request Options

Citation

Details

Checking for availability...

Creator: edited by Armin Biere ... [and others]
Format: Books
Language: English
Contributors: Biere, Armin
Series: Frontiers in artificial intelligence and applications ; v. 185
Physical Details: xiii, 966 pages : illustrations ; 25 cm
ISBNs: 9781441616784, 6000014392, 1586039296, 9781586039295, 1441616780, 9786000014391, 9781607503767, 160750376X
OCLC: ocn491253312, ocn935268045, ocn290492523

Includes bibliographical references and indexes.

Subjects

Propositional calculus -- Congresses.
Decision making -- Congresses.
Computer algorithms -- Congresses.
Algebra, Boolean -- Congresses.

Content Types

Congresses

Items Related By Call Number

Shelf Browse

View nearby items

Additional Information

Check for Hathi data

Staff view

Libraries

Accessibility
Copyright Statement
Policies

Feedback, questions, or accessibility issues: libraries@wisc.edu

Support Libraries volunteer_activism

Keyboard Shortcuts

Available anywhere

?: Shortcut help message
s: Highlight search box
esc: Close dialog

Available in search results

n: Next page
p: Previous page
f: Toggle filters
1-5: Open nth result on page

Additional Options

Chat with a Specific library

Catalog Search

Handbook of satisfiability

Details

Physical Locations

Publication Details

Notes

Subjects

Content Types

Items Related By Call Number

Additional Information

Information from the Web

Library Staff Details

Keyboard Shortcuts

Available anywhere

Available in search results