{"id":"https://openalex.org/W2144163060","doi":"https://doi.org/10.1007/s10817-005-9011-0","title":"Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings","display_name":"Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings","publication_year":2006,"publication_date":"2006-01-18","ids":{"openalex":"https://openalex.org/W2144163060","doi":"https://doi.org/10.1007/s10817-005-9011-0","mag":"2144163060"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-005-9011-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-005-9011-0","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049086782","display_name":"Alan M. Frisch","orcid":"https://orcid.org/0000-0001-5015-2676"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alan M. Frisch","raw_affiliation_strings":["Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074770155","display_name":"Timothy J. Peugniez","orcid":null},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Timothy J. Peugniez","raw_affiliation_strings":["Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072085864","display_name":"Anthony J. Doggett","orcid":null},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Anthony J. Doggett","raw_affiliation_strings":["Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079214634","display_name":"Peter Nightingale","orcid":"https://orcid.org/0000-0002-5052-8634"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Peter W. Nightingale","raw_affiliation_strings":["Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD and School of Computer Science, University of St Andrews, Fife, UK KY16 9SX"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, YO10 5DD, UK","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Artificial Intelligence Group, Department of Computer Science, University of York, York, UK YO10 5DD and School of Computer Science, University of St Andrews, Fife, UK KY16 9SX","institution_ids":["https://openalex.org/I16835326"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049086782"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.63,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.74895733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"35","issue":"1-3","first_page":"143","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9695000052452087,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9649999737739563,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.8448423147201538},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.8235393762588501},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.5612408518791199},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5349428057670593},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.45716866850852966},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4570496380329132},{"id":"https://openalex.org/keywords/boolean-model","display_name":"Boolean model","score":0.42123860120773315},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4206393361091614},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4197898805141449},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.41211628913879395},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3934938311576843},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3586827218532562},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.3574332594871521},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3148579001426697},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.30188697576522827}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.8448423147201538},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.8235393762588501},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.5612408518791199},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5349428057670593},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.45716866850852966},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4570496380329132},{"id":"https://openalex.org/C67499762","wikidata":"https://www.wikidata.org/wiki/Q4943358","display_name":"Boolean model","level":2,"score":0.42123860120773315},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4206393361091614},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4197898805141449},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.41211628913879395},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3934938311576843},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3586827218532562},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3574332594871521},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3148579001426697},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.30188697576522827},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10817-005-9011-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-005-9011-0","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:6527","is_oa":false,"landing_page_url":"http://eprints.whiterose.ac.uk/6527/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W14839205","https://openalex.org/W123065924","https://openalex.org/W1502320541","https://openalex.org/W1502527706","https://openalex.org/W1527430996","https://openalex.org/W1550483759","https://openalex.org/W1554727768","https://openalex.org/W1556130451","https://openalex.org/W1566926854","https://openalex.org/W1568287735","https://openalex.org/W1569757069","https://openalex.org/W1571393741","https://openalex.org/W1572277334","https://openalex.org/W1589146543","https://openalex.org/W1591939288","https://openalex.org/W1592643393","https://openalex.org/W1600919542","https://openalex.org/W1667362966","https://openalex.org/W1667614912","https://openalex.org/W1745650241","https://openalex.org/W1873470583","https://openalex.org/W1967970073","https://openalex.org/W1969129067","https://openalex.org/W2057361103","https://openalex.org/W2065742269","https://openalex.org/W2130824329","https://openalex.org/W2157280385","https://openalex.org/W2165372647","https://openalex.org/W2243012214","https://openalex.org/W4285719527","https://openalex.org/W6605768063","https://openalex.org/W6631528946","https://openalex.org/W6632728906","https://openalex.org/W6633329937","https://openalex.org/W6682496146","https://openalex.org/W6697579524","https://openalex.org/W6743059417"],"related_works":["https://openalex.org/W1809040466","https://openalex.org/W1568384982","https://openalex.org/W2160444875","https://openalex.org/W1745650241","https://openalex.org/W4240446120","https://openalex.org/W2189349654","https://openalex.org/W2995617542","https://openalex.org/W2144163060","https://openalex.org/W1502387139","https://openalex.org/W1601935780"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}