{"id":"https://openalex.org/W1510911673","doi":"https://doi.org/10.1007/978-3-540-74456-6_16","title":"Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete","display_name":"Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete","publication_year":2007,"publication_date":"2007-08-14","ids":{"openalex":"https://openalex.org/W1510911673","doi":"https://doi.org/10.1007/978-3-540-74456-6_16","mag":"1510911673"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74456-6_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74456-6_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5070558406","display_name":"Jaroslav Ne\u0161et\u0159il","orcid":"https://orcid.org/0000-0002-5133-5586"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Jaroslav Ne\u0161et\u0159il","raw_affiliation_strings":["Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University Malostransk\u00e9 n\u00e1m. 25, 11800 Praha 1, Czech Republic","Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University, Praha, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University Malostransk\u00e9 n\u00e1m. 25, 11800 Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University, Praha, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068721384","display_name":"Mark Siggers","orcid":"https://orcid.org/0000-0001-7070-9021"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Mark Siggers","raw_affiliation_strings":["Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University Malostransk\u00e9 n\u00e1m. 25, 11800 Praha 1, Czech Republic","Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University, Praha, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University Malostransk\u00e9 n\u00e1m. 25, 11800 Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Charles University, Praha, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5070558406"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6821,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.6929469,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"159","last_page":"170"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9994999766349792,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9994999766349792,"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.9994999766349792,"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/T11106","display_name":"Data Management and Algorithms","score":0.970300018787384,"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/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.8420801162719727},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.5982450246810913},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5935894846916199},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5801097750663757},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5427165627479553},{"id":"https://openalex.org/keywords/universal-algebra","display_name":"Universal algebra","score":0.5263123512268066},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49863553047180176},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.49773696064949036},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4552314877510071},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.421292781829834},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4164714515209198},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3166857361793518},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10383766889572144}],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.8420801162719727},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.5982450246810913},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5935894846916199},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5801097750663757},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5427165627479553},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.5263123512268066},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49863553047180176},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.49773696064949036},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4552314877510071},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.421292781829834},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4164714515209198},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3166857361793518},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10383766889572144},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-74456-6_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74456-6_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W68851164","https://openalex.org/W179383408","https://openalex.org/W643126808","https://openalex.org/W655258421","https://openalex.org/W1488709943","https://openalex.org/W1571873445","https://openalex.org/W1589421353","https://openalex.org/W1811185933","https://openalex.org/W1984264511","https://openalex.org/W1989905036","https://openalex.org/W1994509697","https://openalex.org/W2018470381","https://openalex.org/W2025319967","https://openalex.org/W2026753685","https://openalex.org/W2028815583","https://openalex.org/W2029406200","https://openalex.org/W2039470646","https://openalex.org/W2042426573","https://openalex.org/W2077575555","https://openalex.org/W2080169329","https://openalex.org/W2109191591","https://openalex.org/W2116407296","https://openalex.org/W2119456262","https://openalex.org/W2129023820","https://openalex.org/W2134850460","https://openalex.org/W2149922426","https://openalex.org/W2150339067","https://openalex.org/W2166566648","https://openalex.org/W2169872958","https://openalex.org/W2477427859","https://openalex.org/W2504299149","https://openalex.org/W4251337778"],"related_works":["https://openalex.org/W2252314269","https://openalex.org/W2161128834","https://openalex.org/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W2097415053","https://openalex.org/W2012141606","https://openalex.org/W1550482496","https://openalex.org/W1811185933","https://openalex.org/W2245690396","https://openalex.org/W2296333169"],"abstract_inverted_index":null,"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}