{"id":"https://openalex.org/W2985842777","doi":"https://doi.org/10.1007/978-3-030-35166-3_19","title":"On the Configuration of SAT Formulae","display_name":"On the Configuration of SAT Formulae","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2985842777","doi":"https://doi.org/10.1007/978-3-030-35166-3_19","mag":"2985842777"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-35166-3_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-35166-3_19","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":true,"oa_status":"green","oa_url":"https://pure.hud.ac.uk/ws/files/18488044/SAT_conf_AIxIA19.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086585008","display_name":"Mauro Vallati","orcid":"https://orcid.org/0000-0002-8429-3570"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mauro Vallati","raw_affiliation_strings":["School of Computing and Engineering, University of Huddersfield, Huddersfield, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing and Engineering, University of Huddersfield, Huddersfield, UK","institution_ids":["https://openalex.org/I133837150"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077756388","display_name":"Marco Maratea","orcid":"https://orcid.org/0000-0002-9034-2527"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Maratea","raw_affiliation_strings":["DIBRIS, University of Genova, Genova, Italy"],"affiliations":[{"raw_affiliation_string":"DIBRIS, University of Genova, Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086585008"],"corresponding_institution_ids":["https://openalex.org/I133837150"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.0195,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76315789,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"264","last_page":"277"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.8204232454299927},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39025774598121643},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3856462240219116},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38465726375579834}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8204232454299927},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39025774598121643},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3856462240219116},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38465726375579834}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-35166-3_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-35166-3_19","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"},{"id":"pmh:oai:pure.atira.dk:publications/d452adbd-a804-4806-8b1d-c380d4bee7ab","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/d452adbd-a804-4806-8b1d-c380d4bee7ab","pdf_url":"https://pure.hud.ac.uk/ws/files/18488044/SAT_conf_AIxIA19.pdf","source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"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":"Vallati, M & Maratea, M 2019, On the Configuration of SAT Formulae. in M Alviano, G Greco & F Scarcello (eds), AI*IA 2019 \u2013 Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19\u201322, 2019, Proceedings. 1st edn, vol. LNAI 11946, Lecture Notes in Computer Science, Springer Verlag, Cham, pp. 264-277, 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, 19/11/19. https://doi.org/10.1007/978-3-030-35166-3_19","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:iris.unige.it:11567/1033661","is_oa":false,"landing_page_url":"https://hdl.handle.net/11567/1033661","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/d452adbd-a804-4806-8b1d-c380d4bee7ab","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/d452adbd-a804-4806-8b1d-c380d4bee7ab","pdf_url":"https://pure.hud.ac.uk/ws/files/18488044/SAT_conf_AIxIA19.pdf","source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"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":"Vallati, M & Maratea, M 2019, On the Configuration of SAT Formulae. in M Alviano, G Greco & F Scarcello (eds), AI*IA 2019 \u2013 Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19\u201322, 2019, Proceedings. 1st edn, vol. LNAI 11946, Lecture Notes in Computer Science, Springer Verlag, Cham, pp. 264-277, 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, 19/11/19. https://doi.org/10.1007/978-3-030-35166-3_19","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2985842777.pdf"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W60686164","https://openalex.org/W110258791","https://openalex.org/W114730584","https://openalex.org/W121528679","https://openalex.org/W145815032","https://openalex.org/W773677814","https://openalex.org/W1490176645","https://openalex.org/W1511069520","https://openalex.org/W1516600063","https://openalex.org/W1580970166","https://openalex.org/W1709155369","https://openalex.org/W1710734607","https://openalex.org/W1981334977","https://openalex.org/W2001859357","https://openalex.org/W2095709533","https://openalex.org/W2154774499","https://openalex.org/W2155840847","https://openalex.org/W2185085875","https://openalex.org/W2258155168","https://openalex.org/W2296559082","https://openalex.org/W2760813595","https://openalex.org/W2794200886","https://openalex.org/W2795576484","https://openalex.org/W2911964244","https://openalex.org/W2950680102","https://openalex.org/W2962929300","https://openalex.org/W2964281761"],"related_works":["https://openalex.org/W1652311832","https://openalex.org/W2462453872","https://openalex.org/W2166247150","https://openalex.org/W2135396778","https://openalex.org/W4243252198","https://openalex.org/W2109507516","https://openalex.org/W2118300983","https://openalex.org/W2106047869","https://openalex.org/W1527862632","https://openalex.org/W4235530921"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-17T17:19:04.345684","created_date":"2025-10-10T00:00:00"}