Order Total (1 Item Items):
Shipping Destination:
Heule M (8 results)
Author:
heule m
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (8)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (7)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Nijkerk, Callenbach, 1977. 1e druk 73 pp. Pb . Politiek en religieus zionisme vanuit de zienswijze van 3 rabbijnen. mooie staat.
-
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 369.40
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New. In English.
-
US$ 356.76
US$ 26.80 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 980 pages. 9.25x6.50x2.25 inches. In Stock.
-
US$ 399.89
US$ 8.71 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New. ppp. 1465.
-
Condition: New. ppp. 1465.
-
Die Neuen Naturtherapien: Handbuch der Garten-, Landschafts-, Wald- und Tiergestützten Therapie, Green Care und Green Meditation. Band I: Grundlagen - . und Landschaftstherapie (AISTHESIS psyche)
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Erstauflage.
-
US$ 80.56
US$ 87.10 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: New. Erstauflage.
-
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 'Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has become the key enabling technology in automated verification of both computer hardware and software. Bounded Model Checking (BMC) of computer hardware is now probably the most widely used model checking technique. The counterexamples that it finds are just satisfying instances of a Boolean formula obtained by unwinding to some fixed depth a sequential circuit and its specification in linear temporal logic. Extending model checking to software verification is a much more difficult problem on the frontier of current research. One promising approach for languages like C with finite word-length integers is to use the same idea as in BMC but with a decision procedure for the theory of bit-vectors instead of SAT. All decision procedures for bit-vectors that I am familiar with ultimately make use of a fast SAT solver to handle complex formulas. Decision procedures for more complicated theories, like linear real and integer arithmetic, are also used in program verification. Most of them use powerful SAT solvers in an essential way. Clearly, efficient SAT solving is a key technology for 21st century computer science. I expect this collection of papers on all theoretical and practical aspects of SAT solving will be extremely useful to both students and researchers and will lead to many further advances in the field.'--Edmund Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University, winner of the 2007 A.M. Turing Award).
