Local search strategies for equational satisfiability. Page: 1 of 17
This report is part of the collection entitled: Office of Scientific & Technical Information Technical Reports and was provided to UNT Digital Library by the UNT Libraries Government Documents Department.
Extracted Text
The following text was automatically extracted from the image on this page using optical character recognition software:
Argonne National Laboratory
9700 South Cass Avenue
Argonne, IL 60439ANL/MCS-TM-269
Local Search Strategies for Equational Satisfiability
by
Ken KeefeMathematics and Computer Science Division
Technical Memorandum No. 269
August 2004
This work was supported by the Mathematical, Information, and Computational Sciences
Division subprogram of the Office of Advanced Scientific Computing Research, U.S. De-
partment of Energy, under Contract W-31-109-Eng-38. Prepared in partial fulfillment of
the requirements of the Office of Science, DOE Student Undergraduate Laboratory In-
ternship (SULI) Program under the direction of Dr. William McCune in the Mathematics
and Computer Science Division at Argonne National Laboratory.
Upcoming Pages
Here’s what’s next.
Search Inside
This report can be searched. Note: Results may vary based on the legibility of text within the document.
Tools / Downloads
Get a copy of this page or view the extracted text.
Citing and Sharing
Basic information for referencing this web page. We also provide extended guidance on usage rights, references, copying or embedding.
Reference the current page of this Report.
Keefe, K. Local search strategies for equational satisfiability., report, September 21, 2004; Argonne, Illinois. (https://digital.library.unt.edu/ark:/67531/metadc783082/m1/1/: accessed April 24, 2024), University of North Texas Libraries, UNT Digital Library, https://digital.library.unt.edu; crediting UNT Libraries Government Documents Department.