DOI: 10.1016/s1571-0653(04)00319-1. Criticality and Parallelism in GSAT

Criticality and Parallelism in GSAT

10.1016/s1571-0653(04)00319-1

Crossref journal-article

Elsevier BV

Electronic Notes in Discrete Mathematics (78)

Bibliography

Roll, A. (2001). Criticality and Parallelism in GSAT. Electronic Notes in Discrete Mathematics, 9, 150â161.

Authors 1

Andrea Roll (first)

References 15 Referenced 5

10.1103/PhysRevLett.76.4651 / Physical Review Letters / Optimization on rugged landscapes: A new general purpose Monte Carlo approach by Dittes (1996)
{'key': '10.1016/S1571-0653(04)00319-1_BIB2', 'article-title': 'Computers and intractability; a guide to the theory of NP-completeness', 'author': 'Garey', 'year': '1979', 'journal-title': 'W.H. Freeman'} / W.H. Freeman / Computers and intractability; a guide to the theory of NP-completeness by Garey (1979)
{'key': '10.1016/S1571-0653(04)00319-1_BIB3', 'series-title': 'Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference', 'first-page': '246', 'article-title': 'The constrainedness of search', 'author': 'Gent', 'year': '1996'} / Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference / The constrainedness of search by Gent (1996)
10.1162/evco.1996.4.4.335 / Evolutionary Computation / A measure of landscapes by Hordijk (1996)
10.1142/S0219525998000041 / Adv. Complex Systems / Amplitude spectra of fitness landscapes by Hordijk (1998)
{'key': '10.1016/S1571-0653(04)00319-1_BIB6', 'series-title': 'The origins of order', 'author': 'Kauffman', 'year': '1993'} / The origins of order by Kauffman (1993)
{'key': '10.1016/S1571-0653(04)00319-1_BIB7', 'series-title': 'At home in the universe', 'author': 'Kauffman', 'year': '1995'} / At home in the universe by Kauffman (1995)
10.1002/cplx.6130010208 / Complexity / Technological evolution and adaptive organizations by Kauffman (1995)
{'issue': '4598', 'key': '10.1016/S1571-0653(04)00319-1_BIB9', 'first-page': '671', 'article-title': 'Optimization by simulated annealing', 'volume': '220', 'author': 'Kirkpartick', 'year': '1983', 'journal-title': 'Science, 13 May 1983'} / Science, 13 May 1983 / Optimization by simulated annealing by Kirkpartick (1983)
10.1126/science.271.5245.56 / Science / Criticality and parallelism in combinatorial optimization by Macready (1996)
{'key': '10.1016/S1571-0653(04)00319-1_BIB11', 'series-title': 'Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97/IAAI-97)', 'first-page': '321', 'article-title': 'Evidence for invariants in local search', 'author': 'McAllester', 'year': '1997'} / Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97/IAAI-97) / Evidence for invariants in local search by McAllester (1997)
{'key': '10.1016/S1571-0653(04)00319-1_BIB12', 'first-page': '72', 'article-title': 'Solving the satisfiability problem through boolean networks', 'volume': 'volume 1792', 'author': 'Milano', 'year': '2000'} / Solving the satisfiability problem through boolean networks by Milano (2000)
Andrea Roli. Boolean networks: Applications to the satisfiability problem. Master's thesis, Faculty of Engineering - Dept. of Electronics, Computer Science and Systems - University of Bologna - Italy, July 1998. In Italian, available at http://www.lia.deis.unibo.it/Staff/AndreaRoli/pubs/tesi.htm.
{'key': '10.1016/S1571-0653(04)00319-1_BIB14', 'series-title': 'Proceedings of the Tenth National Conference on Artificial Intelligence', 'first-page': '440', 'article-title': 'A new method for solving hard satisfiability problems', 'author': 'Bart Selman, Hector J. Levesque', 'year': '1992'} / Proceedings of the Tenth National Conference on Artificial Intelligence / A new method for solving hard satisfiability problems by Bart Selman, Hector J. Levesque (1992)
Andrea Roli and Christian Blum. Critical Parallelization of Local Search for MAX-SAT. Submitted to AP∗IA2001 — 7th Conference of the Italian Association for Artificial Intelligence. Preprint available at: http://iridia0.ulb.ac.be/~roli/ (10.1007/3-540-45411-X_16)

Dates

Type	When
Created	20 years, 4 months ago (April 9, 2005, 9:34 a.m.)
Deposited	5 years, 4 months ago (April 6, 2020, 2:53 p.m.)
Indexed	1 year, 1 month ago (July 10, 2024, 3:45 p.m.)
Issued	24 years, 2 months ago (June 1, 2001)
Published	24 years, 2 months ago (June 1, 2001)
Published Print	24 years, 2 months ago (June 1, 2001)

Funders 0

None

BibTeX

@article{Roll_2001, title={Criticality and Parallelism in GSAT}, volume={9}, ISSN={1571-0653}, url={http://dx.doi.org/10.1016/s1571-0653(04)00319-1}, DOI={10.1016/s1571-0653(04)00319-1}, journal={Electronic Notes in Discrete Mathematics}, publisher={Elsevier BV}, author={Roll, Andrea}, year={2001}, month=jun, pages={150–161} }

JSON

{
  "indexed": {
    "date-parts": [
      [
        2024,
        7,
        10
      ]
    ],
    "date-time": "2024-07-10T19:45:53Z",
    "timestamp": 1720640753418
  },
  "reference-count": 15,
  "publisher": "Elsevier BV",
  "license": [
    {
      "start": {
        "date-parts": [
          [
            2001,
            6,
            1
          ]
        ],
        "date-time": "2001-06-01T00:00:00Z",
        "timestamp": 991353600000
      },
      "content-version": "tdm",
      "delay-in-days": 0,
      "URL": "https://www.elsevier.com/tdm/userlicense/1.0/"
    }
  ],
  "content-domain": {
    "domain": [],
    "crossmark-restriction": false
  },
  "published-print": {
    "date-parts": [
      [
        2001,
        6
      ]
    ]
  },
  "DOI": "10.1016/s1571-0653(04)00319-1",
  "type": "journal-article",
  "created": {
    "date-parts": [
      [
        2005,
        4,
        9
      ]
    ],
    "date-time": "2005-04-09T13:34:04Z",
    "timestamp": 1113053644000
  },
  "page": "150-161",
  "source": "Crossref",
  "is-referenced-by-count": 5,
  "special_numbering": "C",
  "title": "Criticality and Parallelism in GSAT",
  "prefix": "10.1016",
  "volume": "9",
  "author": [
    {
      "given": "Andrea",
      "family": "Roll",
      "sequence": "first",
      "affiliation": []
    }
  ],
  "member": "78",
  "reference": [
    {
      "issue": "25",
      "key": "10.1016/S1571-0653(04)00319-1_BIB1",
      "doi-asserted-by": "crossref",
      "first-page": "4651",
      "DOI": "10.1103/PhysRevLett.76.4651",
      "article-title": "Optimization on rugged landscapes: A new general purpose Monte Carlo approach",
      "volume": "76",
      "author": "Dittes",
      "year": "1996",
      "journal-title": "Physical Review Letters"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB2",
      "article-title": "Computers and intractability; a guide to the theory of NP-completeness",
      "author": "Garey",
      "year": "1979",
      "journal-title": "W.H. Freeman"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB3",
      "series-title": "Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference",
      "first-page": "246",
      "article-title": "The constrainedness of search",
      "author": "Gent",
      "year": "1996"
    },
    {
      "issue": "4",
      "key": "10.1016/S1571-0653(04)00319-1_BIB4",
      "doi-asserted-by": "crossref",
      "DOI": "10.1162/evco.1996.4.4.335",
      "article-title": "A measure of landscapes",
      "volume": "4",
      "author": "Hordijk",
      "year": "1996",
      "journal-title": "Evolutionary Computation"
    },
    {
      "issue": "1",
      "key": "10.1016/S1571-0653(04)00319-1_BIB5",
      "doi-asserted-by": "crossref",
      "DOI": "10.1142/S0219525998000041",
      "article-title": "Amplitude spectra of fitness landscapes",
      "volume": "1",
      "author": "Hordijk",
      "year": "1998",
      "journal-title": "Adv. Complex Systems"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB6",
      "series-title": "The origins of order",
      "author": "Kauffman",
      "year": "1993"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB7",
      "series-title": "At home in the universe",
      "author": "Kauffman",
      "year": "1995"
    },
    {
      "issue": "2",
      "key": "10.1016/S1571-0653(04)00319-1_BIB8",
      "doi-asserted-by": "crossref",
      "first-page": "26",
      "DOI": "10.1002/cplx.6130010208",
      "article-title": "Technological evolution and adaptive organizations",
      "volume": "26",
      "author": "Kauffman",
      "year": "1995",
      "journal-title": "Complexity"
    },
    {
      "issue": "4598",
      "key": "10.1016/S1571-0653(04)00319-1_BIB9",
      "first-page": "671",
      "article-title": "Optimization by simulated annealing",
      "volume": "220",
      "author": "Kirkpartick",
      "year": "1983",
      "journal-title": "Science, 13 May 1983"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB10",
      "doi-asserted-by": "crossref",
      "first-page": "56",
      "DOI": "10.1126/science.271.5245.56",
      "article-title": "Criticality and parallelism in combinatorial optimization",
      "volume": "271",
      "author": "Macready",
      "year": "1996",
      "journal-title": "Science"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB11",
      "series-title": "Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97/IAAI-97)",
      "first-page": "321",
      "article-title": "Evidence for invariants in local search",
      "author": "McAllester",
      "year": "1997"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB12",
      "first-page": "72",
      "article-title": "Solving the satisfiability problem through boolean networks",
      "volume": "volume 1792",
      "author": "Milano",
      "year": "2000"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB13",
      "unstructured": "Andrea Roli. Boolean networks: Applications to the satisfiability problem. Master's thesis, Faculty of Engineering - Dept. of Electronics, Computer Science and Systems - University of Bologna - Italy, July 1998. In Italian, available at http://www.lia.deis.unibo.it/Staff/AndreaRoli/pubs/tesi.htm."
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB14",
      "series-title": "Proceedings of the Tenth National Conference on Artificial Intelligence",
      "first-page": "440",
      "article-title": "A new method for solving hard satisfiability problems",
      "author": "Bart Selman, Hector J. Levesque",
      "year": "1992"
    },
    {
      "key": "10.1016/S1571-0653(04)00319-1_BIB15",
      "doi-asserted-by": "crossref",
      "unstructured": "Andrea Roli and Christian Blum. Critical Parallelization of Local Search for MAX-SAT. Submitted to AP\u2217IA2001 \u2014 7th Conference of the Italian Association for Artificial Intelligence. Preprint available at: http://iridia0.ulb.ac.be/~roli/",
      "DOI": "10.1007/3-540-45411-X_16"
    }
  ],
  "container-title": "Electronic Notes in Discrete Mathematics",
  "original-title": [],
  "language": "en",
  "link": [
    {
      "URL": "https://api.elsevier.com/content/article/PII:S1571065304003191?httpAccept=text/xml",
      "content-type": "text/xml",
      "content-version": "vor",
      "intended-application": "text-mining"
    },
    {
      "URL": "https://api.elsevier.com/content/article/PII:S1571065304003191?httpAccept=text/plain",
      "content-type": "text/plain",
      "content-version": "vor",
      "intended-application": "text-mining"
    }
  ],
  "deposited": {
    "date-parts": [
      [
        2020,
        4,
        6
      ]
    ],
    "date-time": "2020-04-06T18:53:37Z",
    "timestamp": 1586199217000
  },
  "score": 1,
  "resource": {
    "primary": {
      "URL": "https://linkinghub.elsevier.com/retrieve/pii/S1571065304003191"
    }
  },
  "subtitle": [],
  "short-title": [],
  "issued": {
    "date-parts": [
      [
        2001,
        6
      ]
    ]
  },
  "references-count": 15,
  "alternative-id": [
    "S1571065304003191"
  ],
  "URL": "http://dx.doi.org/10.1016/S1571-0653(04)00319-1",
  "relation": {},
  "ISSN": [
    "1571-0653"
  ],
  "subject": [],
  "container-title-short": "Electronic Notes in Discrete Mathematics",
  "published": {
    "date-parts": [
      [
        2001,
        6
      ]
    ]
  }
}