Your search returned 11 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah (eds.). by Series: Lecture notes in computer science ; 4501.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • SAT 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.). by Series: Lecture notes in computer science ; 4996. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Other title:
  • Satisfiability testing
  • SAT 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.). by Series: Lecture notes in computer science ; 3569.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • SAT 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.). by Series: Lecture notes in computer science ; 3542.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Satisfiability testing
  • SAT 2004
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.). by Series: Lecture notes in computer science ; 4121.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • SAT 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings / Oliver Kullmann (ed.). by Series: Lecture notes in computer science ; 5584. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
Theory and application of satisfiability testing--SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / Karem A. Sakallah, Laurent Simon (eds.). by Series: Lecture notes in computer science ; 6695. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2011
Other title:
  • SAT 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Handbook of Satisfiability [electronic resource] : Second Edition. by Series: Frontiers in Artificial Intelligence and Applications Ser
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: : IOS Press, Incorporated, 2021
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Handbook of satisfiability [electronic resource] / edited by Armin Biere [and others]. by Series: Frontiers in artificial intelligence and applications ; v. 185.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, DC : IOS Press, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha