{"id":"https://openalex.org/W2968391719","doi":"https://doi.org/10.1007/s00200-019-00399-7","title":"Solving non-linear Boolean equation systems by variable elimination","display_name":"Solving non-linear Boolean equation systems by variable elimination","publication_year":2019,"publication_date":"2019-08-17","ids":{"openalex":"https://openalex.org/W2968391719","doi":"https://doi.org/10.1007/s00200-019-00399-7","mag":"2968391719"},"language":"en","primary_location":{"id":"doi:10.1007/s00200-019-00399-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00200-019-00399-7","pdf_url":null,"source":{"id":"https://openalex.org/S44535979","display_name":"Applicable Algebra in Engineering Communication and Computing","issn_l":"0938-1279","issn":["0938-1279","1432-0622"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applicable Algebra in Engineering, Communication and Computing","raw_type":"journal-article"},"type":"article","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/A5020805099","display_name":"Bj\u00f8rn M\u00f8ller Greve","orcid":null},"institutions":[{"id":"https://openalex.org/I163244428","display_name":"Norwegian Defence Research Establishment","ror":"https://ror.org/0098gnz32","country_code":"NO","type":"facility","lineage":["https://openalex.org/I163244428"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Bj\u00f8rn Greve","raw_affiliation_strings":["Norwegian Defence Research Establishment, Kjeller, Norway"],"affiliations":[{"raw_affiliation_string":"Norwegian Defence Research Establishment, Kjeller, Norway","institution_ids":["https://openalex.org/I163244428"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081966529","display_name":"\u00d8yvind Ytrehus","orcid":"https://orcid.org/0000-0001-5223-7577"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]},{"id":"https://openalex.org/I4387153661","display_name":"Simula UiB","ror":"https://ror.org/05kmggt55","country_code":null,"type":"nonprofit","lineage":["https://openalex.org/I2799829267","https://openalex.org/I4387153661","https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"\u00d8yvind Ytrehus","raw_affiliation_strings":["Simula UiB, Bergen, Norway"],"affiliations":[{"raw_affiliation_string":"Simula UiB, Bergen, Norway","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I4387153661"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076325798","display_name":"H\u00e5vard Raddum","orcid":"https://orcid.org/0000-0001-9779-5986"},"institutions":[{"id":"https://openalex.org/I4387153661","display_name":"Simula UiB","ror":"https://ror.org/05kmggt55","country_code":null,"type":"nonprofit","lineage":["https://openalex.org/I2799829267","https://openalex.org/I4387153661","https://openalex.org/I4432739"]},{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"H\u00e5vard Raddum","raw_affiliation_strings":["Simula UiB, Bergen, Norway"],"affiliations":[{"raw_affiliation_string":"Simula UiB, Bergen, Norway","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I4387153661"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038377850","display_name":"Gunnar Fl\u00f8ystad","orcid":"https://orcid.org/0000-0001-9796-7530"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Gunnar Fl\u00f8ystad","raw_affiliation_strings":["Department of Mathematics, University of Bergen, Bergen, Norway"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Bergen, Bergen, Norway","institution_ids":["https://openalex.org/I4432739"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5020805099"],"corresponding_institution_ids":["https://openalex.org/I163244428"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12991408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"1","first_page":"3","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9997000098228455,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9865999817848206,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/overdetermined-system","display_name":"Overdetermined system","score":0.891591489315033},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.7089836597442627},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6341880559921265},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.631641149520874},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.6007102131843567},{"id":"https://openalex.org/keywords/linearization","display_name":"Linearization","score":0.44502097368240356},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4443683922290802},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.41479283571243286},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35416513681411743},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2770143747329712},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.27440589666366577},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13218361139297485}],"concepts":[{"id":"https://openalex.org/C81901731","wikidata":"https://www.wikidata.org/wiki/Q331348","display_name":"Overdetermined system","level":2,"score":0.891591489315033},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.7089836597442627},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6341880559921265},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.631641149520874},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.6007102131843567},{"id":"https://openalex.org/C11210021","wikidata":"https://www.wikidata.org/wiki/Q1520713","display_name":"Linearization","level":3,"score":0.44502097368240356},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4443683922290802},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.41479283571243286},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35416513681411743},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2770143747329712},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.27440589666366577},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13218361139297485},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00200-019-00399-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00200-019-00399-7","pdf_url":null,"source":{"id":"https://openalex.org/S44535979","display_name":"Applicable Algebra in Engineering Communication and Computing","issn_l":"0938-1279","issn":["0938-1279","1432-0622"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applicable Algebra in Engineering, Communication and Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W642378450","https://openalex.org/W1489604929","https://openalex.org/W1524190946","https://openalex.org/W1529365861","https://openalex.org/W1542020576","https://openalex.org/W1566203915","https://openalex.org/W1583871653","https://openalex.org/W1781640942","https://openalex.org/W2038345254","https://openalex.org/W2070678975","https://openalex.org/W2071596701","https://openalex.org/W2095823805","https://openalex.org/W2117635739","https://openalex.org/W2128687423","https://openalex.org/W2151915258","https://openalex.org/W2175098281","https://openalex.org/W2263246245","https://openalex.org/W2319466955","https://openalex.org/W2507035040","https://openalex.org/W2568071471","https://openalex.org/W2580463899","https://openalex.org/W2612047169","https://openalex.org/W4242600797"],"related_works":["https://openalex.org/W4382516418","https://openalex.org/W2990591761","https://openalex.org/W4386576538","https://openalex.org/W1981326443","https://openalex.org/W2347376008","https://openalex.org/W2383044727","https://openalex.org/W4287998014","https://openalex.org/W28907793","https://openalex.org/W2996858796","https://openalex.org/W2156353169"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}