﻿This Crosson_DifferentStrategies_README.txt file was generated on 2023-05-26 by Puya Mirkarimi.

The data contained in this directory were generated by Elizabeth Crosson et al. for the study: https://arxiv.org/abs/1401.7320.
The authors generously provided us this data and gave us permission to share it.

-------------------
GENERAL INFORMATION
-------------------

Title of Dataset: Different Strategies for Optimization Using the Quantum Adiabatic Algorithm

Author Information
Name: Elizabeth Crosson
Email: crosson@unm.edu

Information about funding sources and sponsorships that supported the generation of the data: W911NF-12-1-0486, CCF-121-8176, CCF0-939370, CCF-1111382, Natural Sciences and Engineering Research Council of Canada

--------------------------
SHARING/ACCESS INFORMATION
-------------------------- 

License placed on the data: This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.

Data used in: https://arxiv.org/abs/1401.7320

--------------------
DATA & FILE OVERVIEW
--------------------

'instances_crosson.zip' contains 137 files named <instance_id>.m2s containing the data for the MAX 2-SAT instances. Each file contains a row for each clause in the Boolean formula and 4 columns:
     - Column 1: sign of the first literal in the clause (1=unnegated, -1=negated)
     - Column 2: index of the first variable in the clause
     - Column 3: sign of the second literal in the clause (1=unnegated, -1=negated)
     - Column 4: index of the second variable in the clause
