{"id":"https://openalex.org/W2517351811","doi":"https://doi.org/10.1145/3055282.3055285","title":"Satisfiability checking and symbolic computation","display_name":"Satisfiability checking and symbolic computation","publication_year":2017,"publication_date":"2017-02-22","ids":{"openalex":"https://openalex.org/W2517351811","doi":"https://doi.org/10.1145/3055282.3055285","mag":"2517351811"},"language":"en","primary_location":{"id":"doi:10.1145/3055282.3055285","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3055282.3055285","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pureportal.coventry.ac.uk/en/publications/58356be1-c18a-4dd5-be34-70474c5b0c14","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"E. \u00c1brah\u00e1m","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"E. \u00c1brah\u00e1m","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":null,"display_name":"J. Abbott","orcid":null},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J. Abbott","raw_affiliation_strings":["Universit\u00e4t Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"middle","author":{"id":null,"display_name":"B. Becker","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"B. Becker","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":null,"display_name":"A. M. Bigatti","orcid":null},"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":"A. M. Bigatti","raw_affiliation_strings":["Universit\u00e0 degli studi di Genova, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli studi di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":null,"display_name":"M. Brain","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M. Brain","raw_affiliation_strings":["University of Oxford, Oxford, U.K"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, U.K","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":null,"display_name":"B. Buchberger","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"B. Buchberger","raw_affiliation_strings":["Johannes Kepler Universit\u00e4t, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler Universit\u00e4t, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":null,"display_name":"A. Cimatti","orcid":null},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Cimatti","raw_affiliation_strings":["Fondazione Bruno Kessler, Trento, Italy"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":null,"display_name":"J. H. Davenport","orcid":null},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. H. Davenport","raw_affiliation_strings":["University of Bath, Bath, U.K"],"affiliations":[{"raw_affiliation_string":"University of Bath, Bath, U.K","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":null,"display_name":"M. England","orcid":null},"institutions":[{"id":"https://openalex.org/I73417466","display_name":"Coventry University","ror":"https://ror.org/01tgmhj36","country_code":"GB","type":"education","lineage":["https://openalex.org/I73417466"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M. England","raw_affiliation_strings":["Coventry University, Coventry, U.K"],"affiliations":[{"raw_affiliation_string":"Coventry University, Coventry, U.K","institution_ids":["https://openalex.org/I73417466"]}]},{"author_position":"middle","author":{"id":null,"display_name":"P. Fontaine","orcid":null},"institutions":[{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"P. Fontaine","raw_affiliation_strings":["Universit\u00e9 de Lorraine, Nancy, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Lorraine, Nancy, France","institution_ids":["https://openalex.org/I90183372"]}]},{"author_position":"middle","author":{"id":null,"display_name":"S. Forrest","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134421","display_name":"INTRASOFT International (Luxembourg)","ror":"https://ror.org/02zn9x324","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210134421","https://openalex.org/I86100027"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"S. Forrest","raw_affiliation_strings":["Maplesoft Europe Ltd"],"affiliations":[{"raw_affiliation_string":"Maplesoft Europe Ltd","institution_ids":["https://openalex.org/I4210134421"]}]},{"author_position":"middle","author":{"id":null,"display_name":"A. Griggio","orcid":null},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Griggio","raw_affiliation_strings":["Fondazione Bruno Kessler, Trento, Italy"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":null,"display_name":"D. Kroening","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"D. Kroening","raw_affiliation_strings":["University of Oxford, Oxford, U.K"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, U.K","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":null,"display_name":"W. M. Seiler","orcid":null},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"W. M. Seiler","raw_affiliation_strings":["Universit\u00e4t Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"last","author":{"id":null,"display_name":"T. Sturm","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["DE","FR"],"is_corresponding":false,"raw_author_name":"T. Sturm","raw_affiliation_strings":["CNRS, LORIA, Nancy, France and Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany"],"affiliations":[{"raw_affiliation_string":"CNRS, LORIA, Nancy, France and Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712","https://openalex.org/I4210121838","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":15,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.7111,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70857232,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"50","issue":"4","first_page":"145","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.349700003862381,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.349700003862381,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.3149000108242035,"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/T10126","display_name":"Logic, programming, and type systems","score":0.13539999723434448,"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/satisfiability","display_name":"Satisfiability","score":0.7142999768257141},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5364000201225281},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.5245000123977661},{"id":"https://openalex.org/keywords/joint","display_name":"Joint (building)","score":0.40880000591278076},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3422999978065491}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7167999744415283},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7142999768257141},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5364000201225281},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5353999733924866},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.5245000123977661},{"id":"https://openalex.org/C18555067","wikidata":"https://www.wikidata.org/wiki/Q8375051","display_name":"Joint (building)","level":2,"score":0.40880000591278076},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3422999978065491},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2535000145435333},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1145/3055282.3055285","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3055282.3055285","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/58356be1-c18a-4dd5-be34-70474c5b0c14","is_oa":true,"landing_page_url":"https://pureportal.coventry.ac.uk/en/publications/58356be1-c18a-4dd5-be34-70474c5b0c14","pdf_url":null,"source":{"id":"https://openalex.org/S4306402411","display_name":"Pure (Coventry University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I73417466","host_organization_name":"Coventry University","host_organization_lineage":["https://openalex.org/I73417466"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abraham, E, Abbott, J, Becker, B, Bigatti, A M, Brain, M, Buchberger, B, Cimatti, A, Davenport, J H, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W M & Sturm, T 2016, 'Satisfiability Checking and Symbolic Computation', ACM Communications in Computer Algebra, vol. 50, no. 4, pp. 145-147. https://doi.org/10.1145/3055282.3055285","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1607.06945","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1607.06945","pdf_url":"https://arxiv.org/pdf/1607.06945","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:HAL:hal-01648695v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01648695","pdf_url":null,"source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩","raw_type":"Journal articles"},{"id":"pmh:oai:iris.unige.it:11567/864143","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/864143","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unitn.it:11572/342989","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/342989","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"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/article"},{"id":"pmh:oai:pure.atira.dk:publications/58356be1-c18a-4dd5-be34-70474c5b0c14","is_oa":true,"landing_page_url":"https://pureportal.coventry.ac.uk/en/publications/satisfiability-checking-and-symbolic-computation(58356be1-c18a-4dd5-be34-70474c5b0c14).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402411","display_name":"Pure (Coventry University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I73417466","host_organization_name":"Coventry University","host_organization_lineage":["https://openalex.org/I73417466"],"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":"Abraham, E, Abbott, J, Becker, B, Bigatti, A M, Brain, M, Buchberger, B, Cimatti, A, Davenport, J H, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W M & Sturm, T 2016, 'Satisfiability Checking and Symbolic Computation', ACM Communications in Computer Algebra, vol. 50, no. 4, pp. 145-147. https://doi.org/10.1145/3055282.3055285","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:purehost.bath.ac.uk:openaire/e3e56941-3b5d-45b0-a298-0cc872e6b62d","is_oa":true,"landing_page_url":"https://researchportal.bath.ac.uk/en/publications/e3e56941-3b5d-45b0-a298-0cc872e6b62d","pdf_url":null,"source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"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":"\u00c1brah\u00e1m, E, Abbott, J, Becker, B, Bigatti, A M, Brain, M, Buchberger, B, Cimatti, A, Davenport, J H, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W M & Sturm, T 2016, 'Satisfiability checking and symbolic computation', ACM Communications in Computer Algebra, vol. 50, no. 4, pp. 145-147. https://doi.org/10.1145/3055282.3055285","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/58356be1-c18a-4dd5-be34-70474c5b0c14","is_oa":true,"landing_page_url":"https://pureportal.coventry.ac.uk/en/publications/58356be1-c18a-4dd5-be34-70474c5b0c14","pdf_url":null,"source":{"id":"https://openalex.org/S4306402411","display_name":"Pure (Coventry University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I73417466","host_organization_name":"Coventry University","host_organization_lineage":["https://openalex.org/I73417466"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abraham, E, Abbott, J, Becker, B, Bigatti, A M, Brain, M, Buchberger, B, Cimatti, A, Davenport, J H, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W M & Sturm, T 2016, 'Satisfiability Checking and Symbolic Computation', ACM Communications in Computer Algebra, vol. 50, no. 4, pp. 145-147. https://doi.org/10.1145/3055282.3055285","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1565786776","https://openalex.org/W2065429593","https://openalex.org/W4300925763","https://openalex.org/W6628836516"],"related_works":[],"abstract_inverted_index":{"Symbolic":[0],"Computation":[1],"and":[2,20,81,86,93,99,104],"Satisfiability":[3],"Checking":[4],"are":[5,34],"viewed":[6],"as":[7],"individual":[8],"research":[9],"areas,":[10],"but":[11],"they":[12],"share":[13],"common":[14,77,84,89],"interests":[15],"in":[16,51],"the":[17,31,63,70,97,102,107],"development,":[18],"implementation":[19],"application":[21],"of":[22,62],"decision":[23],"procedures":[24],"for":[25,101],"arithmetic":[26],"theories.":[27],"Despite":[28],"these":[29,73],"commonalities,":[30],"two":[32],"communities":[33,74],"currently":[35],"only":[36],"weakly":[37],"connected.":[38],"We":[39,66],"introduce":[40],"a":[41,48,56,88],"new":[42],"project":[43,61],"SC":[44],"2":[45],"to":[46,68],"build":[47],"joint":[49],"community":[50],"this":[52],"area,":[53],"supported":[54],"by":[55,75],"newly":[57],"accepted":[58],"EU":[59],"(H2020-FETOPEN-CSA)":[60],"same":[64],"name.":[65],"aim":[67],"strengthen":[69],"connection":[71],"between":[72],"creating":[76],"platforms,":[78],"initiating":[79],"interaction":[80],"exchange,":[82],"identifying":[83],"challenges,":[85],"developing":[87],"roadmap.":[90],"This":[91],"abstract":[92],"accompanying":[94],"poster":[95],"describes":[96],"motivation":[98],"aims":[100],"project,":[103],"reports":[105],"on":[106],"first":[108],"activities.":[109]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-12T07:58:50.170612","created_date":"2016-09-16T00:00:00"}