@article{mvlsc17,
	Author = {Davide Bresolin and Fernando Jim{\'{e}}nez and Gracia S{\'{a}}nchez and Guido Sciavicco},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.org/rec/bib/journals/mvl/BresolinJSS17},
	Date-Added = {2019-04-03 08:30:57 +0000},
	Date-Modified = {2019-04-03 08:30:57 +0000},
	Journal = {Multiple-Valued Logic and Soft Computing},
	Number = {2-3},
	Pages = {217--249},
	Timestamp = {Fri, 13 Jan 2017 07:35:54 +0100},
	Title = {Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics},
	Url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/},
	Volume = {28},
	Year = {2017},
	Bdsk-Url-1 = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/}}

{"_id":"6vrAGd2R9YxF42sTh","bibbaseid":"bresolin-jimnez-snchez-sciavicco-finitesatisfiabilityofintervaltemporallogicformulaswithmultiobjectivemetaheuristics-2017","author_short":["Bresolin, D.","Jiménez, F.","Sánchez, G.","Sciavicco, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Jiménez"],"suffixes":[]},{"firstnames":["Gracia"],"propositions":[],"lastnames":["Sánchez"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, http://dblp.org","biburl":"http://dblp.org/rec/bib/journals/mvl/BresolinJSS17","date-added":"2019-04-03 08:30:57 +0000","date-modified":"2019-04-03 08:30:57 +0000","journal":"Multiple-Valued Logic and Soft Computing","number":"2-3","pages":"217–249","timestamp":"Fri, 13 Jan 2017 07:35:54 +0100","title":"Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics","url":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/","volume":"28","year":"2017","bdsk-url-1":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/","bibtex":"@article{mvlsc17,\n\tAuthor = {Davide Bresolin and Fernando Jim{\\'{e}}nez and Gracia S{\\'{a}}nchez and Guido Sciavicco},\n\tBibsource = {dblp computer science bibliography, http://dblp.org},\n\tBiburl = {http://dblp.org/rec/bib/journals/mvl/BresolinJSS17},\n\tDate-Added = {2019-04-03 08:30:57 +0000},\n\tDate-Modified = {2019-04-03 08:30:57 +0000},\n\tJournal = {Multiple-Valued Logic and Soft Computing},\n\tNumber = {2-3},\n\tPages = {217--249},\n\tTimestamp = {Fri, 13 Jan 2017 07:35:54 +0100},\n\tTitle = {Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics},\n\tUrl = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/},\n\tVolume = {28},\n\tYear = {2017},\n\tBdsk-Url-1 = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/}}\n\n","author_short":["Bresolin, D.","Jiménez, F.","Sánchez, G.","Sciavicco, G."],"key":"mvlsc17","id":"mvlsc17","bibbaseid":"bresolin-jimnez-snchez-sciavicco-finitesatisfiabilityofintervaltemporallogicformulaswithmultiobjectivemetaheuristics-2017","role":"author","urls":{"Paper":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["finite","satisfiability","interval","temporal","logic","formulas","multi","objective","metaheuristics","bresolin","jiménez","sánchez","sciavicco"],"title":"Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics","year":2017}