SAT2000
Subtitle: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, V. 63)
Contributors: Ian Gent (Editor); Ian Gentles (Editor); Hans Van Maaren (Editor); Toby Walsh (Editor)
Publisher: Ios Pr Inc
Published: January 2000
Language: eng
Format: Hardcover
Number of pages: 568
ISBN-13: 9781586030612
Subjects: Artificial intelligence; c 1990 to c 2000; Computers; Computer Books: General; Artificial Intelligence - General; Computer algorithms; Decision making; Propositional calculus