login
Menu
Search
Author Profiles
Browse Author Profiles
Submit
Library Home
Contact Us
login
Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
Biere, Armin.
2009
QA9.3 .H36 2009eb
Available Online
Formats
Add to Basket
Format
BibTeX
View
Download
MARCXML
View
Download
TextMARC
View
Download
MARC
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download
Linked e-resources
Linked Resource
Online Access
Details
Title
Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
ISBN
9781586039295
1586039296
Publication Details
Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Language
English
Description
xiii, 966 p. : ill.
Call Number
QA9.3 .H36 2009eb
Bibliography, etc. Note
Includes bibliographical references and indexes.
Access Note
Access limited to authorized users.
Added Author
Biere, Armin.
Series
Frontiers in artificial intelligence and applications ; v. 185.
Linked Resources
Online Access
Record Appears in
Online Resources
>
Ebooks
All Resources
Browse Subjects
Propositional calculus
Congresses.
Decision making
Congresses.
Computer algorithms
Congresses.
Algebra, Boolean
Congresses.
Electronic books.
Show more subjects...
Statistics
Views
Unique Views
from
to
By Days
By Months
By Years
Update
Export
No data available.
2023-12
2024-03
2024-06
2024-08
2024-12
0
1
2
3
4
5
6
7
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
2023-12
2024-03
2024-06
2024-08
2024-12
views
<
2024 - Dec
Mo
Tu
We
Th
Fr
Sa
Su
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
<
2023 - Dec
>
Mo
Tu
We
Th
Fr
Sa
Su
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31