{"id":"https://openalex.org/W2164286489","doi":"https://doi.org/10.1109/lics.2007.47","title":"Symmetric Datalog and Constraint Satisfaction Problems in Logspace","display_name":"Symmetric Datalog and Constraint Satisfaction Problems in Logspace","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2164286489","doi":"https://doi.org/10.1109/lics.2007.47","mag":"2164286489"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2007.47","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2007.47","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)","raw_type":"proceedings-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/A5042337191","display_name":"L\u00e1szl\u00f3 Egri","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Laszlo Egri","raw_affiliation_strings":["McGill University, Montreal, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016192081","display_name":"Beno\u00eet Larose","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Benoit Larose","raw_affiliation_strings":["Concordia University, Montreal, Canada"],"affiliations":[{"raw_affiliation_string":"Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044226857","display_name":"Pascal Tesson","orcid":null},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Pascal Tesson","raw_affiliation_strings":["Laval University, QUE, Canada"],"affiliations":[{"raw_affiliation_string":"Laval University, QUE, Canada","institution_ids":["https://openalex.org/I43406934"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5042337191"],"corresponding_institution_ids":["https://openalex.org/I5023651"],"apc_list":null,"apc_paid":null,"fwci":4.0075,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.94000923,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9986000061035156,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9984999895095825,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.9708640575408936},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.6350394487380981},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6272112131118774},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4960974156856537},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4894331991672516},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48160263895988464},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46874362230300903},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3679271936416626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1764688789844513},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0732785165309906}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9708640575408936},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.6350394487380981},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6272112131118774},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4960974156856537},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4894331991672516},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48160263895988464},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46874362230300903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3679271936416626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1764688789844513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0732785165309906},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics.2007.47","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2007.47","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1489366126","https://openalex.org/W1515962957","https://openalex.org/W1555655798","https://openalex.org/W1562734116","https://openalex.org/W1571096293","https://openalex.org/W1657692463","https://openalex.org/W1748315421","https://openalex.org/W1989168011","https://openalex.org/W2003272326","https://openalex.org/W2071035573","https://openalex.org/W2114841580","https://openalex.org/W2129023820","https://openalex.org/W2134850460","https://openalex.org/W2150339067","https://openalex.org/W2166162093","https://openalex.org/W2166566648","https://openalex.org/W2171280299","https://openalex.org/W3104030884","https://openalex.org/W4236835455","https://openalex.org/W4285719527","https://openalex.org/W6611066537"],"related_works":["https://openalex.org/W2955734379","https://openalex.org/W2049216635","https://openalex.org/W3121709727","https://openalex.org/W1537382653","https://openalex.org/W2517279098","https://openalex.org/W2145813209","https://openalex.org/W4287865589","https://openalex.org/W3031230092","https://openalex.org/W3007918591","https://openalex.org/W4297229611"],"abstract_inverted_index":{"We":[0,50],"introduce":[1],"symmetric":[2,21,41,72,102,117,154,162],"Datalog,":[3],"a":[4,54,87,133,166],"syntactic":[5],"restriction":[6],"of":[7,19,28,34,56,62,90,114,124,137,146,171],"linear":[8],"Datalog":[9,42,118,163],"and":[10,84,108],"show":[11,39,51,77],"that":[12,18,40,52,78,161],"its":[13],"expressive":[14],"power":[15],"is":[16,81,86,99,150],"exactly":[17,120],"restricted":[20],"Krom":[22],"monotone":[23],"SNP.":[24],"The":[25],"deep":[26],"result":[27],"Reingold":[29],"[17]":[30],"on":[31],"the":[32,60,63,91,105,122,144,147],"complexity":[33],"undirected":[35],"connectivity":[36],"suffices":[37],"to":[38,121],"queries":[43],"can":[44,68],"be":[45,69,165],"evaluated":[46],"in":[47,71,101,116,127,153,174],"logarithmic":[48,128],"space.":[49,129],"for":[53,142,169],"number":[55],"constraint":[57,64],"languages":[58],"Gamma,":[59],"complement":[61,145],"satisfaction":[65],"problem":[66],"CSP(Gamma)":[67,80],"expressed":[70],"Datalog.":[73,103,155],"In":[74],"particular,":[75],"we":[76,131],"if":[79],"first-order":[82],"definable":[83,100,152],"Lambda":[85],"finite":[88],"subset":[89],"relational":[92],"clone":[93],"generated":[94],"by":[95],"Gamma":[96],"then":[97],"notCSP(Lambda)":[98],"Over":[104],"two-element":[106],"domain":[107],"under":[109],"standard":[110],"complexity-theoretic":[111],"assumptions,":[112],"expressibility":[113],"notCSP(Gamma)":[115],"corresponds":[119],"class":[123],"CSPs":[125,172],"computable":[126],"Finally,":[130],"describe":[132],"fairly":[134],"general":[135],"subclass":[136],"implicational":[138],"(or":[139],"0/1/all)":[140],"constraints":[141],"which":[143],"corresponding":[148],"CSP":[149],"also":[151],"Our":[156],"results":[157],"provide":[158],"preliminary":[159],"evidence":[160],"may":[164],"unifying":[167],"explanation":[168],"families":[170],"lying":[173],"L.":[175]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}