Publication Information

{'id': 'https://openalex.org/W201195458', 'doi': None, 'title': 'A Kolmogorov Complexity Proof of the Lovász Local Lemma for Satisfiability.', 'display_name': 'A Kolmogorov Complexity Proof of the Lovász Local Lemma for Satisfiability.', 'publication_year': 2011, 'publication_date': '2011-01-01', 'ids': {'openalex': 'https://openalex.org/W201195458', 'mag': '201195458'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://dblp.uni-trier.de/db/journals/eccc/eccc18.html#MessnerT11', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S11189987', 'display_name': 'Electronic colloquium on computational complexity', 'issn_l': '1433-8092', 'issn': ['1433-8092'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320508', 'host_organization_name': 'Society for Industrial and Applied Mathematics', 'host_organization_lineage': ['https://openalex.org/P4310320508'], 'host_organization_lineage_names': ['Society for Industrial and Applied Mathematics'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5032733958', 'display_name': 'Jochen Meßner', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210136950', 'display_name': 'Hochschule Aalen', 'ror': 'https://ror.org/04gg60e72', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4210136950']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Jochen Messner', 'raw_affiliation_strings': ['Aalen University, 73430 Aalen, Germany'], 'affiliations': [{'raw_affiliation_string': 'Aalen University, 73430 Aalen, Germany', 'institution_ids': ['https://openalex.org/I4210136950']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5029341628', 'display_name': 'Thomas Thierauf', 'orcid': 'https://orcid.org/0000-0002-2962-594X'}, 'institutions': [{'id': 'https://openalex.org/I4210136950', 'display_name': 'Hochschule Aalen', 'ror': 'https://ror.org/04gg60e72', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4210136950']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Thomas Thierauf', 'raw_affiliation_strings': ['Aalen University, 73430 Aalen, Germany'], 'affiliations': [{'raw_affiliation_string': 'Aalen University, 73430 Aalen, Germany', 'institution_ids': ['https://openalex.org/I4210136950']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.277, 'has_fulltext': False, 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.398237, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 65, 'max': 72}, 'biblio': {'volume': '18', 'issue': None, 'first_page': '18', 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T12002', 'display_name': 'Computability, Logic, AI Algorithms', 'score': 1.0, '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/T12002', 'display_name': 'Computability, Logic, AI Algorithms', 'score': 1.0, '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/T10720', 'display_name': 'Complexity and Algorithms in Graphs', 'score': 0.9984, '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/T12072', 'display_name': 'Machine Learning and Algorithms', 'score': 0.9973, '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/lemma', 'display_name': 'Lemma (botany)', 'score': 0.92514944}, {'id': 'https://openalex.org/keywords/constructive-proof', 'display_name': 'Constructive proof', 'score': 0.81498957}, {'id': 'https://openalex.org/keywords/constructive', 'display_name': 'Constructive', 'score': 0.7485268}, {'id': 'https://openalex.org/keywords/satisfiability', 'display_name': 'Satisfiability', 'score': 0.5789432}, {'id': 'https://openalex.org/keywords/boolean-satisfiability-problem', 'display_name': 'Boolean satisfiability problem', 'score': 0.45695332}, {'id': 'https://openalex.org/keywords/direct-proof', 'display_name': 'Direct proof', 'score': 0.45227107}], 'concepts': [{'id': 'https://openalex.org/C2777759810', 'wikidata': 'https://www.wikidata.org/wiki/Q149316', 'display_name': 'Lemma (botany)', 'level': 3, 'score': 0.92514944}, {'id': 'https://openalex.org/C202854965', 'wikidata': 'https://www.wikidata.org/wiki/Q3044470', 'display_name': 'Constructive proof', 'level': 2, 'score': 0.81498957}, {'id': 'https://openalex.org/C2778701210', 'wikidata': 'https://www.wikidata.org/wiki/Q28130034', 'display_name': 'Constructive', 'level': 3, 'score': 0.7485268}, {'id': 'https://openalex.org/C168773769', 'wikidata': 'https://www.wikidata.org/wiki/Q1350299', 'display_name': 'Satisfiability', 'level': 2, 'score': 0.5789432}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.5699952}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.53659153}, {'id': 'https://openalex.org/C2780801425', 'wikidata': 'https://www.wikidata.org/wiki/Q5164392', 'display_name': 'Construct (python library)', 'level': 2, 'score': 0.5047277}, {'id': 'https://openalex.org/C6943359', 'wikidata': 'https://www.wikidata.org/wiki/Q875276', 'display_name': 'Boolean satisfiability problem', 'level': 2, 'score': 0.45695332}, {'id': 'https://openalex.org/C161505775', 'wikidata': 'https://www.wikidata.org/wiki/Q3240280', 'display_name': 'Direct proof', 'level': 2, 'score': 0.45227107}, {'id': 'https://openalex.org/C189950617', 'wikidata': 'https://www.wikidata.org/wiki/Q937228', 'display_name': 'Property (philosophy)', 'level': 2, 'score': 0.44157237}, {'id': 'https://openalex.org/C114614502', 'wikidata': 'https://www.wikidata.org/wiki/Q76592', 'display_name': 'Combinatorics', 'level': 1, 'score': 0.39815757}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.25139582}, {'id': 'https://openalex.org/C18903297', 'wikidata': 'https://www.wikidata.org/wiki/Q7150', 'display_name': 'Ecology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C46757340', 'wikidata': 'https://www.wikidata.org/wiki/Q43238', 'display_name': 'Poaceae', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C98045186', 'wikidata': 'https://www.wikidata.org/wiki/Q205663', 'display_name': 'Process (computing)', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C111472728', 'wikidata': 'https://www.wikidata.org/wiki/Q9471', 'display_name': 'Epistemology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C86803240', 'wikidata': 'https://www.wikidata.org/wiki/Q420', 'display_name': 'Biology', '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/C111919701', 'wikidata': 'https://www.wikidata.org/wiki/Q9135', 'display_name': 'Operating system', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://dblp.uni-trier.de/db/journals/eccc/eccc18.html#MessnerT11', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S11189987', 'display_name': 'Electronic colloquium on computational complexity', 'issn_l': '1433-8092', 'issn': ['1433-8092'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320508', 'host_organization_name': 'Society for Industrial and Applied Mathematics', 'host_organization_lineage': ['https://openalex.org/P4310320508'], 'host_organization_lineage_names': ['Society for Industrial and Applied Mathematics'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 7, 'referenced_works': ['https://openalex.org/W1638203394', 'https://openalex.org/W1776544432', 'https://openalex.org/W1983085249', 'https://openalex.org/W2068871408', 'https://openalex.org/W2109693504', 'https://openalex.org/W2128452148', 'https://openalex.org/W2571414590'], 'related_works': ['https://openalex.org/W48399366', 'https://openalex.org/W3117716038', 'https://openalex.org/W3021519371', 'https://openalex.org/W3015236451', 'https://openalex.org/W2963998858', 'https://openalex.org/W2963197718', 'https://openalex.org/W2886461967', 'https://openalex.org/W281488709', 'https://openalex.org/W2799781558', 'https://openalex.org/W2790199059', 'https://openalex.org/W2768610039', 'https://openalex.org/W2735923117', 'https://openalex.org/W2531891315', 'https://openalex.org/W2474894413', 'https://openalex.org/W2398486124', 'https://openalex.org/W2294324937', 'https://openalex.org/W2254808735', 'https://openalex.org/W2198255326', 'https://openalex.org/W1998096192', 'https://openalex.org/W1601357232'], 'abstract_inverted_index': {'The': [0], 'Lovasz': [1], 'Local': [2], 'Lemma': [3], 'provides': [4], 'a': [5, 9, 20, 30, 35], 'syntactic': [6], 'property': [7], 'that': [8], 'Boolean': [10], 'formula': [11], 'is': [12], 'satisifiable.': [13], 'Moser': [14], 'and': [15], 'Tardos': [16], 'came': [17], 'up': [18], 'with': [19], 'constructive': [21, 44], 'proof': [22, 28, 45], 'of': [23, 46], 'the': [24, 27, 47], 'lemma,': [25, 48], 'i.e.': [26], 'gives': [29], 'method': [31], 'to': [32], 'actually': [33], 'construct': [34], 'satisfying': [36], 'assignment.': [37], 'In': [38], 'this': [39], 'paper,': [40], 'we': [41, 54], 'give': [42], 'another': [43], 'based': [49], 'on': [50], 'Kolmogorov': [51], 'complexity.': [52], 'Actually,': [53], 'even': [55], 'improve': [56], 'their': [57], 'result': [58], 'slightly.': [59]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W201195458', 'counts_by_year': [{'year': 2012, 'cited_by_count': 1}], 'updated_date': '2024-12-14T17:58:54.499606', 'created_date': '2016-06-24'}