Publicações

Improving Linear Search Algorithms with Model-Based Approaches for Maxsat Solving

AuthID
P-00G-K13

Author(s)

Martins, R

Manquinho, V

Lynce, I

Tipo de Documento

Article

Year published

2015

Publicado

in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, ISSN: 0952-813X

Volume: 27, Número: 5, Páginas: 673-701 (29)

Conference

20Th Rcra International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Date: JUN 14-15, 2013, Location: Rome, ITALY

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1080/0952813x.2014.993508

SCOPUS: 2-s2.0-84940605701

Wos: WOS:000371296300007

Source Identifiers

ISSN: 0952-813X

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Improving Linear Search Algorithms with Model-Based Approaches for Maxsat Solving

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Improving Linear Search Algorithms with Model-Based Approaches for Maxsat Solving

Links Úteis

Ajuda