{"id":"https://openalex.org/W1966737089","doi":"https://doi.org/10.1109/gefs.2013.6601055","title":"Local search and restart strategies for satisfiability solving in fuzzy logics","display_name":"Local search and restart strategies for satisfiability solving in fuzzy logics","publication_year":2013,"publication_date":"2013-04-01","ids":{"openalex":"https://openalex.org/W1966737089","doi":"https://doi.org/10.1109/gefs.2013.6601055","mag":"1966737089"},"language":"en","primary_location":{"id":"doi:10.1109/gefs.2013.6601055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/gefs.2013.6601055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://biblio.ugent.be/publication/3203608/file/3230421.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084002137","display_name":"Tim Brys","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tim Brys","raw_affiliation_strings":["Artificial Intelligence Laboratory, VUB, Brussels, Belgium","Artificial Intell. Lab., VUB, Brussels, Belgium"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Laboratory, VUB, Brussels, Belgium","institution_ids":[]},{"raw_affiliation_string":"Artificial Intell. Lab., VUB, Brussels, Belgium","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016131956","display_name":"M\u0103d\u0103lina M. Drugan","orcid":"https://orcid.org/0000-0001-9497-3134"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Madalina M. Drugan","raw_affiliation_strings":["Artificial Intelligence Laboratory, VUB, Brussels, Belgium","Artificial Intell. Lab., VUB, Brussels, Belgium"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Laboratory, VUB, Brussels, Belgium","institution_ids":[]},{"raw_affiliation_string":"Artificial Intell. Lab., VUB, Brussels, Belgium","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031539135","display_name":"Peter A. N. Bosman","orcid":"https://orcid.org/0000-0002-4186-6666"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Peter A.N. Bosman","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, Netherlands","Centrum Wiskunde & Inf. (CWI), Amsterdam, Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum Wiskunde & Inf. (CWI), Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056749857","display_name":"Martine De Cock","orcid":"https://orcid.org/0000-0001-7917-0771"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Martine De Cock","raw_affiliation_strings":["Department of Applied Maths and Computer Science, UGent, Ghent, Belgium","Dept. of Appl. Math. & Comp. Sc., UGent, Ghent, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Applied Maths and Computer Science, UGent, Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Dept. of Appl. Math. & Comp. Sc., UGent, Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064553018","display_name":"Ann Now\u00e9","orcid":"https://orcid.org/0000-0001-6346-4564"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ann Nowe","raw_affiliation_strings":["Artificial Intelligence Laboratory, VUB, Brussels, Belgium","Artificial Intell. Lab., VUB, Brussels, Belgium"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Laboratory, VUB, Brussels, Belgium","institution_ids":[]},{"raw_affiliation_string":"Artificial Intell. Lab., VUB, Brussels, Belgium","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5084002137"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9888,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81442593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"3242","issue":null,"first_page":"52","last_page":"59"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/satisfiability","display_name":"Satisfiability","score":0.7131296992301941},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.6257385015487671},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5657106637954712},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5501132011413574},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5386161208152771},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5087452530860901},{"id":"https://openalex.org/keywords/cma-es","display_name":"CMA-ES","score":0.4788360893726349},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.47801339626312256},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47565051913261414},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4695720374584198},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44042062759399414},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4382873773574829},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41096311807632446},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.3782491683959961},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3595196008682251},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.32993441820144653},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32811975479125977},{"id":"https://openalex.org/keywords/evolution-strategy","display_name":"Evolution strategy","score":0.2823142409324646},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21591836214065552},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17697188258171082},{"id":"https://openalex.org/keywords/evolutionary-algorithm","display_name":"Evolutionary algorithm","score":0.11988255381584167}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7131296992301941},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.6257385015487671},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5657106637954712},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5501132011413574},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5386161208152771},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5087452530860901},{"id":"https://openalex.org/C205555498","wikidata":"https://www.wikidata.org/wiki/Q505588","display_name":"CMA-ES","level":4,"score":0.4788360893726349},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.47801339626312256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47565051913261414},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4695720374584198},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44042062759399414},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4382873773574829},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41096311807632446},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.3782491683959961},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3595196008682251},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.32993441820144653},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32811975479125977},{"id":"https://openalex.org/C207002847","wikidata":"https://www.wikidata.org/wiki/Q2912857","display_name":"Evolution strategy","level":3,"score":0.2823142409324646},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21591836214065552},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17697188258171082},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.11988255381584167},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1109/gefs.2013.6601055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/gefs.2013.6601055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS)","raw_type":"proceedings-article"},{"id":"pmh:oai:archive.ugent.be:3203608","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-3203608","pdf_url":"https://biblio.ugent.be/publication/3203608/file/3230421.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISBN: 9781467358996","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:839874","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=839874","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:888707","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=888707","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:cwi:oai:cwi.nl:22076","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/22076","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:library.tue.nl:839874","is_oa":false,"landing_page_url":"http://repository.tue.nl/839874","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:library.tue.nl:888707","is_oa":false,"landing_page_url":"http://repository.tue.nl/888707","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:79682","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/local-search-and-restart-strategies-for-satisfiability-solving-in-fuzzy-logics(99fe07c7-5453-4050-bdd2-f5cbaf341aba).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:archive.ugent.be:3203608","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-3203608","pdf_url":"https://biblio.ugent.be/publication/3203608/file/3230421.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISBN: 9781467358996","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1966737089.pdf","grobid_xml":"https://content.openalex.org/works/W1966737089.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W102487131","https://openalex.org/W123765585","https://openalex.org/W1576660662","https://openalex.org/W1605438009","https://openalex.org/W1667362966","https://openalex.org/W1923495615","https://openalex.org/W1977670033","https://openalex.org/W1985951935","https://openalex.org/W1986964870","https://openalex.org/W2010334716","https://openalex.org/W2016033687","https://openalex.org/W2034738268","https://openalex.org/W2051655526","https://openalex.org/W2067452466","https://openalex.org/W2074244208","https://openalex.org/W2099087967","https://openalex.org/W2110182592","https://openalex.org/W2133348366","https://openalex.org/W2153327280","https://openalex.org/W2485414348","https://openalex.org/W2600961830","https://openalex.org/W2950283489","https://openalex.org/W3022113361","https://openalex.org/W6636950635","https://openalex.org/W6640050670","https://openalex.org/W6674593058","https://openalex.org/W6679857993"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240","https://openalex.org/W2076399409","https://openalex.org/W2102364390"],"abstract_inverted_index":{"Satisfiability":[0],"solving":[1,39],"in":[2,18,41,87],"fuzzy":[3,22,42],"logics":[4,23,43],"is":[5],"a":[6,25,60,103],"subject":[7],"that":[8,102],"has":[9],"not":[10],"been":[11],"researched":[12],"much,":[13],"certainly":[14],"compared":[15,45],"to":[16,38,74,89],"satisfiability":[17,40],"propositional":[19],"logics.":[20],"Yet,":[21],"are":[24],"powerful":[26],"tool":[27],"for":[28,96],"modelling":[29],"complex":[30],"problems.":[31,64],"Recently,":[32],"we":[33,81],"proposed":[34],"an":[35,56],"optimization":[36],"approach":[37],"and":[44],"the":[46,75,109],"standard":[47],"Covariance":[48],"Matrix":[49],"Adaptation":[50],"Evolution":[51],"Strategy":[52],"algorithm":[53],"(CMA-ES)":[54],"with":[55],"analytical":[57,76],"solver":[58],"on":[59,66,108],"set":[61],"of":[62,85],"benchmark":[63],"Especially":[65],"more":[67],"finegrained":[68],"problems":[69],"did":[70],"CMA-ES":[71,107],"compare":[72],"favourably":[73],"approach.":[77],"In":[78],"this":[79],"paper,":[80],"evaluate":[82],"two":[83],"types":[84],"hillclimber":[86,105],"addition":[88],"CMA-ES,":[90],"as":[91,93],"well":[92],"restart":[94],"strategies":[95],"these":[97],"algorithms.":[98],"Our":[99],"results":[100],"show":[101],"population-based":[104],"outperforms":[106],"harder":[110],"problem":[111],"class.":[112]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}