{"id":"https://openalex.org/W2256161684","doi":"https://doi.org/10.1007/s10898-016-0473-x","title":"Certificates of infeasibility via nonsmooth optimization","display_name":"Certificates of infeasibility via nonsmooth optimization","publication_year":2016,"publication_date":"2016-10-28","ids":{"openalex":"https://openalex.org/W2256161684","doi":"https://doi.org/10.1007/s10898-016-0473-x","mag":"2256161684"},"language":"en","primary_location":{"id":"doi:10.1007/s10898-016-0473-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10898-016-0473-x","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10898-016-0473-x.pdf","source":{"id":"https://openalex.org/S115925768","display_name":"Journal of Global Optimization","issn_l":"0925-5001","issn":["0925-5001","1573-2916"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Global Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10898-016-0473-x.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056886243","display_name":"Hannes Fendl","orcid":null},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Hannes Fendl","raw_affiliation_strings":["Faculty of Mathematics, University of Vienna Austria, Oskar-Morgenstern-Pl.\u00a01, 1090, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, University of Vienna Austria, Oskar-Morgenstern-Pl.\u00a01, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055137763","display_name":"Arnold Neumaier","orcid":"https://orcid.org/0000-0002-8328-9641"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Arnold Neumaier","raw_affiliation_strings":["Faculty of Mathematics, University of Vienna Austria, Oskar-Morgenstern-Pl.\u00a01, 1090, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, University of Vienna Austria, Oskar-Morgenstern-Pl.\u00a01, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024690956","display_name":"Hermann Schichl","orcid":"https://orcid.org/0000-0003-0183-9150"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hermann Schichl","raw_affiliation_strings":["Faculty of Mathematics, University of Vienna Austria, Oskar-Morgenstern-Pl.\u00a01, 1090, Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0003-0183-9150","affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, University of Vienna Austria, Oskar-Morgenstern-Pl.\u00a01, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5056886243"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":0.8491,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76989822,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"69","issue":"1","first_page":"157","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/mathematics","display_name":"Mathematics","score":0.8456707000732422},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.7920159101486206},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6432572603225708},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.629105269908905},{"id":"https://openalex.org/keywords/constrained-optimization","display_name":"Constrained optimization","score":0.5079801678657532},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.5048168301582336},{"id":"https://openalex.org/keywords/constrained-optimization-problem","display_name":"Constrained optimization problem","score":0.4534081518650055},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4312208890914917},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21745434403419495},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1203717291355133}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8456707000732422},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.7920159101486206},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6432572603225708},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.629105269908905},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.5079801678657532},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.5048168301582336},{"id":"https://openalex.org/C2989514635","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization problem","level":3,"score":0.4534081518650055},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4312208890914917},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21745434403419495},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1203717291355133},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10898-016-0473-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10898-016-0473-x","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10898-016-0473-x.pdf","source":{"id":"https://openalex.org/S115925768","display_name":"Journal of Global Optimization","issn_l":"0925-5001","issn":["0925-5001","1573-2916"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Global Optimization","raw_type":"journal-article"},{"id":"pmh:info:fedora/oai:univie.ac.at:o:475300","is_oa":true,"landing_page_url":"https://phaidra.univie.ac.at/o:475300","pdf_url":null,"source":{"id":"https://openalex.org/S4306401993","display_name":"Phaidra (Universit\u00e4t Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129774422","host_organization_name":"University of Vienna","host_organization_lineage":["https://openalex.org/I129774422"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0925-5001","raw_type":"article"},{"id":"pmh:oai:RePEc:spr:jglopt:v:69:y:2017:i:1:d:10.1007_s10898-016-0473-x","is_oa":false,"landing_page_url":"http://link.springer.com/10.1007/s10898-016-0473-x","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"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":"article"}],"best_oa_location":{"id":"doi:10.1007/s10898-016-0473-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10898-016-0473-x","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10898-016-0473-x.pdf","source":{"id":"https://openalex.org/S115925768","display_name":"Journal of Global Optimization","issn_l":"0925-5001","issn":["0925-5001","1573-2916"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Global Optimization","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.8299999833106995}],"awards":[{"id":"https://openalex.org/G2679586334","display_name":null,"funder_award_id":"P22239-N13","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321691","display_name":"Universit\u00e4t Wien","ror":"https://ror.org/03prydq77"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2256161684.pdf","grobid_xml":"https://content.openalex.org/works/W2256161684.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W73560095","https://openalex.org/W119888408","https://openalex.org/W178772886","https://openalex.org/W203078251","https://openalex.org/W835533155","https://openalex.org/W1483874187","https://openalex.org/W1484729322","https://openalex.org/W1516536271","https://openalex.org/W1546461095","https://openalex.org/W1553192734","https://openalex.org/W1967073510","https://openalex.org/W1980450998","https://openalex.org/W2006499125","https://openalex.org/W2021674665","https://openalex.org/W2031580761","https://openalex.org/W2041091076","https://openalex.org/W2060924166","https://openalex.org/W2065997029","https://openalex.org/W2067648572","https://openalex.org/W2079115388","https://openalex.org/W2117060314","https://openalex.org/W2129480103","https://openalex.org/W2154904851","https://openalex.org/W2256161684","https://openalex.org/W2283738907","https://openalex.org/W2284087907","https://openalex.org/W2483775066","https://openalex.org/W3146520007","https://openalex.org/W4238484605","https://openalex.org/W4285719527","https://openalex.org/W4298255709"],"related_works":["https://openalex.org/W2355999325","https://openalex.org/W3123416417","https://openalex.org/W2145128058","https://openalex.org/W2357354566","https://openalex.org/W23263483","https://openalex.org/W2000609527","https://openalex.org/W2170850735","https://openalex.org/W2013387628","https://openalex.org/W2387917237","https://openalex.org/W2291665350"],"abstract_inverted_index":{"An":[0],"important":[1],"aspect":[2],"in":[3],"the":[4,45],"solution":[5],"process":[6],"of":[7,30],"constraint":[8],"satisfaction":[9],"problems":[10],"is":[11],"to":[12,51],"identify":[13],"exclusion":[14,54],"boxes":[15,18,35],"which":[16],"are":[17],"that":[19],"do":[20],"not":[21],"contain":[22],"feasible":[23],"points.":[24],"This":[25],"paper":[26],"presents":[27],"a":[28,38,58],"certificate":[29,47],"infeasibility":[31],"for":[32],"finding":[33],"such":[34],"by":[36,56],"solving":[37,57],"linearly":[39],"constrained":[40,60],"nonsmooth":[41,61],"optimization":[42,62],"problem.":[43,63],"Furthermore,":[44],"constructed":[46],"can":[48],"be":[49],"used":[50],"enlarge":[52],"an":[53],"box":[55],"nonlinearly":[59]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}