{"id":"https://openalex.org/W4387179979","doi":"https://doi.org/10.1142/s0129054123450065","title":"A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules","display_name":"A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules","publication_year":2023,"publication_date":"2023-09-29","ids":{"openalex":"https://openalex.org/W4387179979","doi":"https://doi.org/10.1142/s0129054123450065"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054123450065","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054123450065","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5059695510","display_name":"David Orellana-Mart\u00edn","orcid":"https://orcid.org/0000-0002-2892-6775"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"David Orellana-Mart\u00edn","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009991953","display_name":"Luis Valencia\u2013Cabrera","orcid":"https://orcid.org/0000-0002-6576-9529"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Luis Valencia-Cabrera","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075139255","display_name":"Mario J. P\u00e9rez-J\u00edmenez","orcid":"https://orcid.org/0000-0002-5055-0102"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Mario J. P\u00e9rez-Jim\u00e9nez","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059695510"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29340168,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"07","first_page":"1089","last_page":"1116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.947700023651123,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/membrane-computing","display_name":"Membrane computing","score":0.9180254936218262},{"id":"https://openalex.org/keywords/membrane","display_name":"Membrane","score":0.6745284199714661},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46176213026046753},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.414402574300766},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.410847932100296},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4027985632419586},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34648430347442627},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2920977473258972},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.19960233569145203}],"concepts":[{"id":"https://openalex.org/C96011364","wikidata":"https://www.wikidata.org/wiki/Q6815122","display_name":"Membrane computing","level":2,"score":0.9180254936218262},{"id":"https://openalex.org/C41625074","wikidata":"https://www.wikidata.org/wiki/Q176088","display_name":"Membrane","level":2,"score":0.6745284199714661},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46176213026046753},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.414402574300766},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.410847932100296},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4027985632419586},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34648430347442627},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2920977473258972},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.19960233569145203},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054123450065","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054123450065","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W165590830","https://openalex.org/W1483387963","https://openalex.org/W1514027050","https://openalex.org/W1584587517","https://openalex.org/W1984586189","https://openalex.org/W2035718458","https://openalex.org/W2142660245","https://openalex.org/W2158708642","https://openalex.org/W2296312366","https://openalex.org/W2532651643","https://openalex.org/W2802676812","https://openalex.org/W3095575933","https://openalex.org/W3159406877","https://openalex.org/W3170053397","https://openalex.org/W3216658614","https://openalex.org/W4200229098","https://openalex.org/W4214926810","https://openalex.org/W4242595604","https://openalex.org/W4253060067","https://openalex.org/W4290017202"],"related_works":["https://openalex.org/W1975121090","https://openalex.org/W2952902327","https://openalex.org/W2122157334","https://openalex.org/W2386767533","https://openalex.org/W2546620643","https://openalex.org/W2365333639","https://openalex.org/W2365371251","https://openalex.org/W2275200369","https://openalex.org/W2355247546","https://openalex.org/W2379488605"],"abstract_inverted_index":{"In":[0,90],"the":[1,14,29,53,80,86,117,123,126],"framework":[2],"of":[3,11,28,32,69,116,119,125],"membrane":[4,34,45,82],"computing,":[5],"several":[6],"interesting":[7],"results":[8],"concerning":[9],"frontiers":[10],"efficiency":[12],"between":[13,85],"complexity":[15],"classes":[16],"P":[17,93],"and":[18,48,99],"NP":[19],"have":[20],"been":[21],"found":[22],"by":[23,75],"using":[24],"different":[25],"ingredients.":[26],"One":[27,115],"main":[30],"characteristics":[31],"cell-like":[33],"systems":[35,94],"is":[36,122],"their":[37],"rooted":[38],"tree-like":[39],"structure,":[40],"where":[41],"a":[42,60,106,110,129],"natural":[43],"parent-children":[44],"relationship":[46],"exists,":[47],"objects":[49,78],"can":[50],"travel":[51],"through":[52],"membranes.":[54,89],"Separation":[55],"rules":[56,98,101],"are":[57,83,102],"used":[58,103],"as":[59,128],"method":[61],"to":[62,104,108],"obtain":[63],"an":[64],"exponential":[65],"workspace":[66],"in":[67,71],"terms":[68],"membranes":[70],"polynomial":[72],"time.":[73],"Inspired":[74],"cell":[76],"meiosis,":[77],"from":[79],"original":[81],"distributed":[84],"two":[87],"new":[88],"this":[91,120],"work,":[92],"with":[95],"evolutional":[96],"symport/antiport":[97],"separation":[100],"give":[105],"solution":[107,121],"SAT,":[109],"well":[111],"known":[112],"NP-complete":[113],"problem.":[114],"advantages":[118],"use":[124],"environment":[127],"passive":[130],"agent.":[131]},"counts_by_year":[],"updated_date":"2025-11-08T23:21:52.890332","created_date":"2025-10-10T00:00:00"}