Your search returned 10 results.

Not what you expected? Check for suggestions

Results
	1.	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 SAT 2008 (2008 : Guangzhou, China) Kleine Büning, H. (Hans) Zhao, Xishun Series: Lecture notes in computer science ; 4996. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Other title: Satisfiability testing SAT 2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	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 SAT 2004 (2004 : Vancouver, B.C.) Hoos, Holger H Mitchell, David G., Ph. D Series: Lecture notes in computer science ; 3542. Material type: Text; Format: available online ; 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: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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 SAT 2006 (2006 : Seattle, Wash.) Biere, Armin Gomes, Carla Series: Lecture notes in computer science ; 4121. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006 Other title: SAT 2006 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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 SAT 2009 (2009 : Swansea, Wales) Kullmann, Oliver Series: Lecture notes in computer science ; 5584. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Theory and applications of satisfiability testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / Ofer Strichman, Stefan Szeider (eds.). by Strichman, Ofer Szeider, Stefan International Conference on Theory and Applications of Satisfiability Testing, SAT (13 : 11-07-2010 - 14-07-2010 : Edinburgh, Great Britain) Series: Lecture notes in computer science ; 6175. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New York : SpringerLink, 2010 Other title: SAT 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Handbook of Satisfiability [electronic resource] : Second Edition. by Biere, Armin Heule, Marijn, 1979- Maaren, Hans van Series: Frontiers in Artificial Intelligence and Applications Ser Material type: Text; Format: available online ; Literary form: Not fiction Publication details: : IOS Press, Incorporated, 2021 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	7.	Handbook of satisfiability [electronic resource] / edited by Armin Biere [and others]. by Biere, Armin Series: Frontiers in artificial intelligence and applications ; v. 185. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, ©2009 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	8.	Further improvements in the Boolean domain / edited by Bernd Steinbach. by Steinbach, Bernd [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018Copyright date: ©2018 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	9.	Recent progress in the boolean domain / edited by Bernd Steinbach. by Steinbach, Bernd [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Newcastle upon Tyne : Cambridge Scholars Publishing, 2014 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	10.	Boolean functions in cryptology and information security [electronic resource] / edited by Bart Preneel and Oleg A. Logachev. by Preneel, Bart, 1963- Logachev, Oleg A North Atlantic Treaty Organization. Public Diplomacy Division NATO Science for Peace and Security Programme NATO Advanced Study Institute on Boolean Functions in Cryptology and Information Security (2007 : Zvenigorod, Russia) NetLibrary, Inc Series: NATO science for peace and security series. Sub-series D Information and communication security ; ; v. 18. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, c2008 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha