{"id":"https://openalex.org/W7083832898","doi":"https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_14","title":"Towards SMT Solver Stability via Input Normalization","display_name":"Towards SMT Solver Stability via Input Normalization","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7083832898","doi":"https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_14"},"language":"en","primary_location":{"id":"doi:10.34727/2025/isbn.978-3-85448-084-6_14","is_oa":true,"landing_page_url":"https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_14","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_14","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Amrollahi, Daneshvar","orcid":"https://orcid.org/0000-0003-0954-7881"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amrollahi, Daneshvar","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0954-7881","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Preiner, Mathias","orcid":"https://orcid.org/0000-0002-7142-6258"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Preiner, Mathias","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7142-6258","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Niemetz, Aina","orcid":"https://orcid.org/0000-0003-2600-5283"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Niemetz, Aina","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2600-5283","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Reynolds, Andrew","orcid":"https://orcid.org/0000-0002-3529-8682"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Reynolds, Andrew","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3529-8682","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Charikar, Moses","orcid":"https://orcid.org/0000-0003-0807-3389"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Charikar, Moses","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0807-3389","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Tinelli, Cesare","orcid":"https://orcid.org/0000-0002-6726-775X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tinelli, Cesare","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6726-775X","affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Barrett, Clark","orcid":"https://orcid.org/0000-0002-9522-3084"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barrett, Clark","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-9522-3084","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6657000184059143,"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"}},"topics":[{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6657000184059143,"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"}},{"id":"https://openalex.org/T13067","display_name":"Geological Modeling and Analysis","score":0.025599999353289604,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14311","display_name":"Electrical and Electromagnetic Research","score":0.019600000232458115,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5489000082015991},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4562000036239624},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.4339999854564667},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3192000091075897},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.29179999232292175}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5633999705314636},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5489000082015991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5212000012397766},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4562000036239624},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.4339999854564667},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32919999957084656},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3192000091075897},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.29179999232292175},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.2870999872684479},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2797999978065491},{"id":"https://openalex.org/C3770464","wikidata":"https://www.wikidata.org/wiki/Q775963","display_name":"Smoothing","level":2,"score":0.2639999985694885}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.34727/2025/isbn.978-3-85448-084-6_14","is_oa":true,"landing_page_url":"https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_14","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Other"}],"best_oa_location":{"id":"doi:10.34727/2025/isbn.978-3-85448-084-6_14","is_oa":true,"landing_page_url":"https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_14","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}