Tools

LEADER 02111nam 22004937a 4500

001 ssj0000241304;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 070315r20062005ne a sb 000 0 eng d;

010 a| 2007398861;

020 a| 9781402045523 (hb);

020 a| 1402045522 (hb);

035 a| (WaSeSS)ssj0000241304;

040 a| CPVc| CPVd| DLCd| WaSeSS;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A43b| S28 2006;

245 00 a| SAT 2005h| [electronic resource] :b| satisfiability research in the year 2005 /c| edited by Enrico Giunchiglia and Toby Walsh.;

246 30 a| Satisfiability research in the year 2005;

260 a| Dordrecht :b| Springer,;

300 a| 293 p. :b| ill. ;c| 25 cm.;

500 a| "Reprinted from Journal of automated reasoning, v. 35, nos. 1-3 (2005).";

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer algorithms.=| ^A285321;

650 0 a| Computational complexity.=| ^A74807;

650 0 a| Propositional calculus.=| ^A62288;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Giunchiglia, Enrico.=| ^A872453;

700 1 a| Walsh, Toby.=| ^A464432;

730 0 a| Journal of automated reasoning.n| Vol. 35, no. 1-3.?| UNAUTHORIZED;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-1-4020-5571-3;

947 a| (OCoLC)ocn123201981;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 6359491;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6359491-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 4/19/2024x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6359491-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 4/19/2024x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6359491-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 4/19/2024x| EBOOKz| JERESOURCE;

SAT 2005 satisfiability research in the year 2005 / edited by Enrico Giunchiglia and Toby Walsh.

Other author	Giunchiglia, Enrico.
Other author	Walsh, Toby.
Format	Electronic
Publication Info	Dordrecht : Springer,
Description	293 p. : ill. ; 25 cm.
Supplemental Content	Full text available from Springer Books
Subjects	Computer algorithms. Computational complexity. Propositional calculus.

Portion of title	Satisfiability research in the year 2005
General note	"Reprinted from Journal of automated reasoning, v. 35, nos. 1-3 (2005)."
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
Other title	Journal of automated reasoning. Vol. 35, no. 1-3.
LCCN	2007398861
ISBN	9781402045523 (hb)
ISBN	1402045522 (hb)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

SAT 2005 satisfiability research in the year 2005 / edited by Enrico Giunchiglia and Toby Walsh.

Click here for more information about this title

Availability