{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T03:58:30Z","timestamp":1648958310524},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1007\/s10472-011-9268-4","type":"journal-article","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T10:27:15Z","timestamp":1326709635000},"page":"159-160","source":"Crossref","is-referenced-by-count":1,"title":["17th RCRA international workshop on \u201cExperimental evaluation of algorithms for solving problems with combinatorial explosion\u201d"],"prefix":"10.1007","volume":"62","author":[{"given":"Marco","family":"Gavanelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toni","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,13]]},"reference":[{"key":"9268_CR1","author":"M Alberti","year":"2011","unstructured":"Alberti, M., Dell\u2019Acqua, P., Pereira, L.M.: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9259-5","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR2","author":"M Baioletti","year":"2011","unstructured":"Baioletti, M., Milani, A., Poggioni, V., Rossi, F.: Experimental evaluation of pheromone models in ACOPlan. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9265-7","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR3","author":"D Cakmak","year":"2011","unstructured":"Cakmak, D., Erdem, E., Erdogan, H.: Computing weighted solutions in ASP: representation-based method vs. search-based method. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9242-1","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR4","author":"A Gerevini","year":"2011","unstructured":"Gerevini, A., Saetti, A., Serina, I.: Planning in domains with derived predicates through rule-action graphs. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9240-3","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR5","author":"D Guimarans","year":"2011","unstructured":"Guimarans, D., Herrero, R., Riera, D., Juan, A.A., Ramos, J.J.: Combining probabilistic algorithms, constraint programming, and lagrangian relaxation to solve the vehicle routing problem. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9261-y","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR6","author":"J Marques-Silva","year":"2011","unstructured":"Marques-Silva, J., Argelich, J., Gra\u00e7a, A., Lynce, I.: Boolean lexicographic optimization: algorithms & applications. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9233-2","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR7","author":"A Mileo","year":"2011","unstructured":"Mileo, A., Schaub, T., Merico, D., Bisiani, R.: Knowledge-based multi-criteria optimization to support indoor positioning. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9241-2","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR8","author":"A Oddi","year":"2011","unstructured":"Oddi, A., Rasconi, R., Cesta, A., Smith, S.F.: Solving job shop scheduling with setup times through constraint-based iterative sampling: an experimental analysis. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9264-8","journal-title":"Ann. Math. Artif. Intell."},{"key":"9268_CR9","author":"L Pulina","year":"2011","unstructured":"Pulina, L., Tacchella, A.: NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. (2011). doi: 10.1007\/s10472-011-9243-0","journal-title":"Ann. Math. Artif. Intell."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-011-9268-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-011-9268-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-011-9268-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:58:15Z","timestamp":1559152695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-011-9268-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":9,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["9268"],"URL":"https:\/\/doi.org\/10.1007\/s10472-011-9268-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}