{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:59:01Z","timestamp":1648767541860},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,9,28]],"date-time":"2012-09-28T00:00:00Z","timestamp":1348790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comb Optim"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s10878-012-9551-2","type":"journal-article","created":{"date-parts":[[2012,9,28]],"date-time":"2012-09-28T11:22:48Z","timestamp":1348831368000},"page":"724-766","source":"Crossref","is-referenced-by-count":2,"title":["Linear time-dependent constraints programming with MSVL"],"prefix":"10.1007","volume":"27","author":[{"given":"Qian","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,28]]},"reference":[{"issue":"11","key":"9551_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832\u2013843","journal-title":"Commun ACM"},{"issue":"1","key":"9551_CR2","first-page":"107","volume":"2","author":"A Analyti","year":"2012","unstructured":"Analyti A, Pachoulakis I (2012) Temporally annotated extended logic programs. Int J Res Rev Artif Intell 2(1):107\u2013112","journal-title":"Int J Res Rev Artif Intell"},{"key":"9551_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45632-5_1","volume-title":"Proceedings of computational logic: logic programming and beyond","author":"P Baldan","year":"2002","unstructured":"Baldan P, Mancarella P, Raffaet\u00e0 A, Turini F (2002) Mutaclp: a language for temporal reasoning with multiple theories. In: Proceedings of computational logic: logic programming and beyond, pp 1\u201340"},{"key":"9551_CR4","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1142\/S0218213008004060","volume":"17","author":"C Barrett","year":"2008","unstructured":"Barrett C, Deters M, Oliveras A, Stump A (2008) Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP). Int J Artif Intell 17:569\u2013606","journal-title":"Int J Artif Intell"},{"key":"9551_CR5","volume-title":"Proceedings of the 8th international workshop on satisfiability modulo theories","author":"C Barrett","year":"2010","unstructured":"Barrett C, Stump A, Tinelli C (2010) The SMT-LIB standard: version 2.0. In: Proceedings of the 8th international workshop on satisfiability modulo theories"},{"key":"9551_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-52559-9_62","volume-title":"REX workshop on stepwise refinement of distributed systems: models, formalisms, correctness","author":"H Barringer","year":"1990","unstructured":"Barringer H, Fisher M, Gabbay D, Gough G, Owens R (1990) Metatem: a framework for programming in temporal logic. In: REX workshop on stepwise refinement of distributed systems: models, formalisms, correctness. LNCS, vol 430. Springer, Berlin, pp 94\u2013129"},{"issue":"2","key":"9551_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry G, Gonthier G (1992) The ESTEREL synchronous programming language: design, semantics, implementation. Sci Comput Program 19(2):87\u2013152","journal-title":"Sci Comput Program"},{"key":"9551_CR8","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119:557\u2013581","journal-title":"Eur J Oper Res"},{"issue":"1\u20132","key":"9551_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0304-3975(97)00139-4","volume":"202","author":"C Brzoska","year":"1998","unstructured":"Brzoska C (1998) Programming in metric temporal logic. Theor Comput Sci 202(1\u20132):55\u2013125","journal-title":"Theor Comput Sci"},{"key":"9551_CR10","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2005","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C (2005) Introduction to algorithms. MIT Press, Cambridge"},{"issue":"2","key":"9551_CR11","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2140\/pjm.1955.5.183","volume":"50","author":"GB Dantzig","year":"1955","unstructured":"Dantzig GB, Orden A, Wolfe P (1955) The generalized simplex method for minimizing a linear form under linear inequality constraints. Pac J Math 50(2):183\u2013195","journal-title":"Pac J Math"},{"issue":"1\u20133","key":"9551_CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter R, Meiri I, Pearl J (1991) Temporal constraint networks. Artif Intell 49(1\u20133):61\u201395","journal-title":"Artif Intell"},{"key":"9551_CR13","unstructured":"Duan Z (1996) An extended interval temporal logic and a framing technique for temporal logic programming. PhD thesis, University of Newcastle Upon Tyne"},{"key":"9551_CR14","volume-title":"Temporal logic and temporal logic programming language","author":"Z Duan","year":"2006","unstructured":"Duan Z (2006) Temporal logic and temporal logic programming language. Science Press, Beijing"},{"key":"9551_CR15","first-page":"167","volume-title":"Proceedings of ICFEM08","author":"Z Duan","year":"2008","unstructured":"Duan Z, Tian C (2008) A unified model checking approach with projection temporal logic. In: Proceedings of ICFEM08, pp 167\u2013186"},{"issue":"4","key":"9551_CR16","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/s10878-009-9252-7","volume":"19","author":"Z Duan","year":"2010","unstructured":"Duan Z, Yang C (2010) Unconditional secure communication: a Russian cards protocol. J Comb Optim 19(4):501\u2013530","journal-title":"J Comb Optim"},{"key":"9551_CR17","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-58216-9_48","volume-title":"Proceedings of logic programming and automated reasoning","author":"Z Duan","year":"1994","unstructured":"Duan Z, Koutny M, Holt C (1994) Projection in temporal logic programming. In: Proceedings of logic programming and automated reasoning. LNAI, vol 822, pp 333\u2013344"},{"key":"9551_CR18","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.09.001","volume":"70","author":"Z Duan","year":"2008","unstructured":"Duan Z, Yang X, Koutny M (2008) Framed temporal logic programming. Sci Comput Program 70:31\u201361","journal-title":"Sci Comput Program"},{"key":"9551_CR19","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58402-1_17","volume-title":"Proceedings of programming language implementation and logic programming 94","author":"TW Fr\u00fchwirth","year":"1994","unstructured":"Fr\u00fchwirth TW (1994) Annotated constraint logic programming applied to temporal reasoning. In: Proceedings of programming language implementation and logic programming 94. LNCS, vol 844, pp 230\u2013243"},{"issue":"5\/6","key":"9551_CR20","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1006\/jsco.1996.0066","volume":"22","author":"TW Fr\u00fchwirth","year":"1996","unstructured":"Fr\u00fchwirth TW (1996) Temporal annotated constraint logic programming. J Symb Comput 22(5\/6):555\u2013583","journal-title":"J Symb Comput"},{"key":"9551_CR21","series-title":"LNCS","first-page":"695","volume-title":"Proceedings of ICLP86","author":"M Fujita","year":"1986","unstructured":"Fujita M, Kono S, Tanaka H, Moto-oka T (1986) Tokio: logic programming language based on temporal logic and its compilation to Prolog. In: Proceedings of ICLP86. LNCS, vol 225. Springer, Berlin, pp\u00a0695\u2013709"},{"issue":"1\u20132","key":"9551_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0167-6423(97)00006-3","volume":"30","author":"V Gupta","year":"1998","unstructured":"Gupta V, Jagadeesan R, Saraswat VA (1998) Computing with continuous change. Sci Comput Program 30(1\u20132):3\u201349","journal-title":"Sci Comput Program"},{"key":"9551_CR23","volume-title":"Constraint satisfaction in logic programming","author":"PV Hentenryck","year":"1989","unstructured":"Hentenryck PV (1989) Constraint satisfaction in logic programming. MIT Press, Cambridge"},{"key":"9551_CR24","first-page":"296","volume-title":"Proceedings of ECAI","author":"T Hrycej","year":"1988","unstructured":"Hrycej T (1988) Temporal Prolog. In: Proceedings of ECAI, vol 88, pp 296\u2013301"},{"key":"9551_CR25","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on principles of programming languages","author":"J Jaffar","year":"1987","unstructured":"Jaffar J, Lassez JL (1987) Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on principles of programming languages. ACM, New York, pp 111\u2013119"},{"issue":"3","key":"9551_CR26","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport L (1994) The temporal logic of actions. ACM Trans Program Lang Syst 16(3):872\u2013923","journal-title":"ACM Trans Program Lang Syst"},{"key":"9551_CR27","first-page":"894","volume-title":"Proceedings of CSCWD07","author":"L Lei","year":"2007","unstructured":"Lei L, Duan Z (2007) Automating web service composition for collaborative business processes. In: Proceedings of CSCWD07, pp 894\u2013899"},{"key":"9551_CR28","doi-asserted-by":"crossref","unstructured":"Luca Bordeaux YH, Zhang L (2006) Propositional satisfiability and constraint programming: a comparative survey. ACM Comput Surv 38(4)","DOI":"10.1145\/1177352.1177354"},{"key":"9551_CR29","first-page":"251","volume-title":"Proceedings of TASE07","author":"Y Ma","year":"2007","unstructured":"Ma Y, Duan Z, Wang X, Yang X (2007) An interpreter for framed Tempura and its application. In: Proceedings of TASE07, pp 251\u2013260"},{"key":"9551_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"Temporal logic of reactive and concurrent systems","author":"Z Manna","year":"1992","unstructured":"Manna Z, Pnueli A (1992) Temporal logic of reactive and concurrent systems. Springer, Berlin"},{"key":"9551_CR31","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","volume":"87","author":"I Meiri","year":"1996","unstructured":"Meiri I (1996) Combining qualitative and quantitative constraints in temporal reasoning. Artif Intell 87:343\u2013385","journal-title":"Artif Intell"},{"key":"9551_CR32","doi-asserted-by":"crossref","unstructured":"Moszkowski BC (1986) Executing temporal logic programs. PhD thesis, Cambridge University","DOI":"10.1007\/3-540-15670-4_6"},{"key":"9551_CR33","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/s10489-010-0246-z","volume":"36","author":"M Mouhoub","year":"2012","unstructured":"Mouhoub M, Sukpan A (2012) Conditional and composite temporal csps. Appl Intell 36:90\u2013107","journal-title":"Appl Intell"},{"key":"9551_CR34","first-page":"145","volume":"9","author":"M Nielsen","year":"2002","unstructured":"Nielsen M, Palamidessi C, Valencia FD (2002) Temporal concurrent constraint programming: denotation, logic and applications. Nord J Comput 9:145\u2013188","journal-title":"Nord J Comput"},{"key":"9551_CR35","doi-asserted-by":"crossref","unstructured":"Saraswat V (1989) Concurrent constraint programming languages. PhD thesis, Carnegie-Mellon University","DOI":"10.1145\/96709.96733"},{"key":"9551_CR36","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/LICS.1994.316085","volume-title":"Proceedings of the ninth annual IEEE symposium on logic in computer science","author":"VA Saraswat","year":"1994","unstructured":"Saraswat VA, Jagadeesan R, Gupta V (1994) Foundations of timed concurrent constraint programming. In: Proceedings of the ninth annual IEEE symposium on logic in computer science, pp 71\u201380"},{"issue":"5\u20136","key":"9551_CR37","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"VA Saraswat","year":"1996","unstructured":"Saraswat VA, Jagadeesan R, Gupta V (1996) Timed default concurrent constraint programming. J Symb Comput 22(5\u20136):475\u2013520","journal-title":"J Symb Comput"},{"key":"9551_CR38","first-page":"9","volume-title":"Proceedings of WCECS10","author":"GM Sarria","year":"2010","unstructured":"Sarria GM (2010) Improving the real-time concurrent constraint calculus with a delay declaration. In: Proceedings of WCECS10, pp 9\u201314"},{"key":"9551_CR39","volume-title":"Proceedings of CLEI08","author":"GM Sarria","year":"2008","unstructured":"Sarria GM, Rueda C (2008) Real-time concurrent constraint programming. In: Proceedings of CLEI08"},{"key":"9551_CR40","first-page":"425","volume-title":"Proceedings of IFIP congress","author":"CS Tang","year":"1983","unstructured":"Tang CS (1983) Toward a unified logic basis for programming languages. In: Proceedings of IFIP congress. Elsevier, Amsterdam, pp 425\u2013429"},{"key":"9551_CR41","first-page":"377","volume-title":"Proceedings of AAAI86","author":"M Vilain","year":"1986","unstructured":"Vilain M, Kautz H (1986) Constraint propagation algorithms for temporal reasoning. In: Proceedings of AAAI86, pp 377\u2013382"},{"issue":"1","key":"9551_CR42","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.jlap.2008.08.001","volume":"78","author":"X Yang","year":"2008","unstructured":"Yang X, Duan Z (2008) Operational semantics of framed tempura. J Log Algebr Program 78(1):22\u201351","journal-title":"J Log Algebr Program"},{"issue":"5","key":"9551_CR43","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1017\/S0960129510000241","volume":"20","author":"X Yang","year":"2010","unstructured":"Yang X, Duan Z, Ma Q (2010) Axiomatic semantics of projection temporal logic programs. Math Struct Comput Sci 20(5):865\u2013914","journal-title":"Math Struct Comput Sci"},{"key":"9551_CR44","author":"N Zhang","year":"2012","unstructured":"Zhang N, Duan Z, Tian C (2012) A cylinder computation model for many-core parallel computing. Theor Comput Sci. doi: 10.1016\/j.tcs.2012.02.011","journal-title":"Theor Comput Sci"}],"container-title":["Journal of Combinatorial Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10878-012-9551-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10878-012-9551-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10878-012-9551-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T08:22:44Z","timestamp":1562228564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10878-012-9551-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,28]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["9551"],"URL":"https:\/\/doi.org\/10.1007\/s10878-012-9551-2","relation":{},"ISSN":["1382-6905","1573-2886"],"issn-type":[{"value":"1382-6905","type":"print"},{"value":"1573-2886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,28]]}}}