Showing 1 - 8
of 8
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
Institution
Collection
Format
Subject
Author
7
SpringerLink (Online service)
1
Bacchus, Fahiem
1
Biere, Armin
1
Du, Dingzhu
1
Gomes, Carla
1
Gu, Jun, 1956-
more ...
1
Hoos, Holger H.
1
International Conference on Theory and Applications of Satisfiability Testing, SAT
1
Kleine Büning, H.
1
Kullmann, Oliver
1
Marques-Silva, João
1
Mitchell, David G., Ph. D.
1
NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
1
Pardalos, P. M. 1954-
1
SAT (Conference)
1
SAT (Conference) Swansea, Wales)
1
SAT 2004
1
SAT 2004 Vancouver, B.C.)
1
SAT 2005
1
SAT 2005 St. Andrews, Scotland)
1
SAT 2006
1
SAT 2006 Seattle, Wash.)
1
SAT 2007
1
SAT 2007 Lisbon, Portugal)
1
SAT 2008
1
SAT 2008 Guangzhou, China)
1
Sakallah, Karem A.
1
Strichman, Ofer
1
Szeider, Stefan
1
Walsh, Toby
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication