Allen Van Gelder's research interests include development of algorithms for propositional satisfiability and quantified boolean formulas, methods for verifiable software, theorem proving, analysis of algorithms, parallel algorithms, computer graphics, and scientific visualization. He received a National Science Foundation Presidential Young Investigator Award in 1989 to investigate the use of logic programming for problems in database and artificial intelligence systems.
Robots meta tag and robots.txtAccording to =en&ref_topic=6061961robots.txt must be at the root of the website host.We do not have privileges for that directory, so we should use meta tagson school computer systems to avoid search engines.See _meta_tagI think one puts the following in index.html in the \"head\" sectionto ask robots not to search the directory in which index.html resides.So do not put it in your primary web directory (PUBLIC_HTML usually).If you tell certain people the name of the directory, they will be ableto visit it by typing it after the name of your public web directory.As an experiment I made a \"secret\" directory named DoUSeeMeDir with somefiles in it besides index.html.You should be able to visit DoUSeeMeDir and view those files,but I hope the search engines do not show those files or even their names.c-adt.psc-adt.pdfFor information aboutComputer Algorithms, Third Editionby Sara Baase and myself,please click here to seeSupplements(including errata, clarifications, sample code, javaToC hints)or shift-click to downloadSupplements.tar(about 320 KB)or visit these links to other servers,and use the Back button on your browser if you want to return to this page.Prof. Baase's web site: -rohan.sdsu.edu/faculty/baaseAWLPublisher's informationISBN-13: 97802016124481612448OBSOLETE Publisher's informationProf. Ben Choi's web site at Louisiana Tech University forPowerPoint slides to accompany the text.He offered to make them available to other instructors. choi/Bens/Teaching/Csc520/ 153554b96e