Skip to main content
padlock icon - secure page this page is secure

Publisher: Taylor and Francis Ltd

More about this publication?
Volume 27, Number 5, 3 September 2015

Favourites:
ADD

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

Favourites:
ADD

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

Favourites:
ADD

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

Favourites:
ADD

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

Favourites:
ADD
Favourites:
ADD

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

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more