{"id":"https://openalex.org/W1972480948","doi":"https://doi.org/10.1007/s10878-012-9551-2","title":"Linear time-dependent constraints programming with MSVL","display_name":"Linear time-dependent constraints programming with MSVL","publication_year":2012,"publication_date":"2012-09-28","ids":{"openalex":"https://openalex.org/W1972480948","doi":"https://doi.org/10.1007/s10878-012-9551-2","mag":"1972480948"},"language":"en","primary_location":{"id":"doi:10.1007/s10878-012-9551-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10878-012-9551-2","pdf_url":null,"source":{"id":"https://openalex.org/S107925523","display_name":"Journal of Combinatorial Optimization","issn_l":"1382-6905","issn":["1382-6905","1573-2886"],"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":"Journal of Combinatorial Optimization","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/A5101969552","display_name":"Qian Ma","orcid":"https://orcid.org/0000-0001-9499-3194"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qian Ma","raw_affiliation_strings":["Institute of Computing Theory and Technology, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","Institute of Computing Theory and Technology, Xidian University, Xi\u2019an, P.R. China","Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China 710071#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, Xi\u2019an, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China 710071#TAB#","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071051896","display_name":"Zhenhua Duan","orcid":"https://orcid.org/0000-0002-3119-3242"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhenhua Duan","raw_affiliation_strings":["Institute of Computing Theory and Technology, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","Institute of Computing Theory and Technology, Xidian University, Xi\u2019an, P.R. China","Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China 710071#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, P.O. Box 177, Xi\u2019an, 710071, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, Xi\u2019an, P.R. China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, Xidian University, Xi'an, P.R. China 710071#TAB#","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071051896","https://openalex.org/A5101969552"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.3631,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.60831513,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":"4","first_page":"724","last_page":"766"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9965999722480774,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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/linear-logic","display_name":"Linear logic","score":0.6009606719017029},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5931849479675293},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.5913435220718384},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.552056074142456},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5445331931114197},{"id":"https://openalex.org/keywords/linear-fractional-programming","display_name":"Linear-fractional programming","score":0.5178321003913879},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5017459392547607},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4963582158088684},{"id":"https://openalex.org/keywords/linear-inequality","display_name":"Linear inequality","score":0.48749876022338867},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.46361926198005676},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.45032352209091187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43142229318618774},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.425301730632782},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.41828474402427673},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4049623906612396},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3150741457939148},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3045785427093506},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23341304063796997},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.229106605052948},{"id":"https://openalex.org/keywords/inequality","display_name":"Inequality","score":0.19767546653747559},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.14620637893676758}],"concepts":[{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.6009606719017029},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5931849479675293},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.5913435220718384},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.552056074142456},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5445331931114197},{"id":"https://openalex.org/C205658194","wikidata":"https://www.wikidata.org/wiki/Q4168281","display_name":"Linear-fractional programming","level":3,"score":0.5178321003913879},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5017459392547607},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4963582158088684},{"id":"https://openalex.org/C84135550","wikidata":"https://www.wikidata.org/wiki/Q3154022","display_name":"Linear inequality","level":3,"score":0.48749876022338867},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.46361926198005676},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.45032352209091187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43142229318618774},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.425301730632782},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.41828474402427673},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4049623906612396},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3150741457939148},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3045785427093506},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23341304063796997},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.229106605052948},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.19767546653747559},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.14620637893676758},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10878-012-9551-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10878-012-9551-2","pdf_url":null,"source":{"id":"https://openalex.org/S107925523","display_name":"Journal of Combinatorial Optimization","issn_l":"1382-6905","issn":["1382-6905","1573-2886"],"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":"Journal of Combinatorial Optimization","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:spr:jcomop:v:27:y:2014:i:4:d:10.1007_s10878-012-9551-2","is_oa":false,"landing_page_url":"http://link.springer.com/10.1007/s10878-012-9551-2","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":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W1483150777","https://openalex.org/W1497559908","https://openalex.org/W1502799200","https://openalex.org/W1506588809","https://openalex.org/W1528419757","https://openalex.org/W1536786076","https://openalex.org/W1538739512","https://openalex.org/W1570474911","https://openalex.org/W1585895903","https://openalex.org/W1591672107","https://openalex.org/W1708197388","https://openalex.org/W1866624891","https://openalex.org/W1967338214","https://openalex.org/W1971258090","https://openalex.org/W1975799355","https://openalex.org/W1988095917","https://openalex.org/W1994157580","https://openalex.org/W2009092207","https://openalex.org/W2015688007","https://openalex.org/W2020799200","https://openalex.org/W2021519440","https://openalex.org/W2026125863","https://openalex.org/W2027785398","https://openalex.org/W2036750908","https://openalex.org/W2050552305","https://openalex.org/W2074364607","https://openalex.org/W2081938726","https://openalex.org/W2092514393","https://openalex.org/W2093832730","https://openalex.org/W2097622845","https://openalex.org/W2117107687","https://openalex.org/W2119170644","https://openalex.org/W2123396057","https://openalex.org/W2130182605","https://openalex.org/W2136550128","https://openalex.org/W2142423074","https://openalex.org/W2143082793","https://openalex.org/W2158651374","https://openalex.org/W2159496495","https://openalex.org/W2159595840","https://openalex.org/W2161484642","https://openalex.org/W2163654786","https://openalex.org/W2170426893","https://openalex.org/W2752885492","https://openalex.org/W2911366208","https://openalex.org/W3145128584","https://openalex.org/W4254983202","https://openalex.org/W6698777470"],"related_works":["https://openalex.org/W2097415053","https://openalex.org/W1514298554","https://openalex.org/W1486916474","https://openalex.org/W4243324743","https://openalex.org/W1531664660","https://openalex.org/W2120647900","https://openalex.org/W1496100162","https://openalex.org/W4303044088","https://openalex.org/W1169406866","https://openalex.org/W2131721673"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}