Showing 1 - 5
of 5
for search: '',
query time: 0.05s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Subject: Algebra, Boolean
Subject: Computer algorithms
Subject: Propositional calculus
Institution
Collection
Format
Author
5
SpringerLink (Online service)
1
Biere, Armin
1
Gomes, Carla
1
Hoos, Holger H.
1
International Conference on Theory and Applications of Satisfiability Testing, SAT
1
Kleine Büning, H.
more ...
1
Kullmann, Oliver
1
Mitchell, David G., Ph. D.
1
SAT (Conference)
1
SAT (Conference) Swansea, Wales)
1
SAT 2004
1
SAT 2004 Vancouver, B.C.)
1
SAT 2006
1
SAT 2006 Seattle, Wash.)
1
SAT 2008
1
SAT 2008 Guangzhou, China)
1
Strichman, Ofer
1
Szeider, Stefan
1
Zhao, Xishun
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication