Journal of Experimental & Theoretical Artificial Intelligence

20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
pp. 501-502(2)
Authors: Mancini, Toni; Maratea, Marco; Ricca, Francesco

A declarative concurrent system for protein structure prediction on GPU
pp. 503-541(39)
Authors: Campeotto, Federico; Dovier, Agostino; Pontelli, Enrico

Yet more planning efficiency: Finite-domain state-variable reformulation
pp. 543-576(34)
Authors: Dvořák, Filip; Toropila, Daniel; Barták, Roman

Effectively solving NP-SPEC encodings by translation to ASP
pp. 577-601(25)
Authors: Alviano, Mario; Faber, Wolfgang

Effective plan retrieval in case-based planning for metric-temporal problems
pp. 603-647(45)
Authors: Bonisoli, Andrea; Gerevini, Alfonso Emilio; Saetti, Alessandro; Serina, Ivan

A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems
pp. 649-671(23)
Authors: Habbas, Zineb; Amroun, Kamal; Singer, Daniel

Improving linear search algorithms with model-based approaches for MaxSAT solving
pp. 673-701(29)
Authors: Martins, Ruben; Manquinho, Vasco; Lynce, Inês