Titel: Sat2000: Highlights of Satisfiability Research in the Year 2000: 63 (Frontiers in Artificial Intelligence and Applications) [Hardcover] Gent, I.; Maaren, H. Van and Walsh, T.
Verlag: Ios Pr Inc
Erscheinungsjahr: 2000
Sprache: Englisch
ISBN-10: 1586030612
ISBN-13: 9781586030612
Einband: Hardcover
Zustand: As New

�ber diesen Titel

Inhaltsangabe

The book is devoted to various disciplines in satisfiability research and aims to give the reader an impression of the state of the art of this research in the year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications and extensions beyond propositional SAT.

Aus dem Klappentext

"The book is devoted to various disciplines in Satisfiability research and aims to give the reader an impression of the state of the art of this research in the Year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications, and extensions beyond propositional SAT.SAT 2000Highlights of Satisfiability Research in the Year 2000."

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

In the centre of the picturesque Market Town of Hay-on-Wye, UK; we serve the British and International Book Trades 364 days per year. Whilst always caring for individual requirements we buy and sell entire collections and libraries and efficiently dispatch large consignments to your door, whether you are a collector, a shop, a university, or a school. Vist our Online Shop at http://www.hayonwyebooksellers.com

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Hay-on-Wye Booksellers
14 High Town, Hay-on-Wye, HR3 5AE, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Mastercard, Visa, VisaDelta, Electron, Switch, Solo, cards accepted. Also cash and Sterling Checks (GBP Cheques). If you wish to pay via Switch/Maestro please ensure you enter in the start date and the issue number in the shopping basket. Alternatively you can enter in the information in the special intrusions field during the shopping basket.

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.