Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Publicações
Pesquisar
Estatísticas
Incremental Cardinality Constraints for Maxsat
AuthID
P-00P-9WT
4
Author(s)
Martins, R
·
Joshi, S
·
Manquinho, V
·
Lynce, I
1
Editor(es)
OSullivan, B
Tipo de Documento
Proceedings Paper
Year published
2014
Publicado
in
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014
in
Lecture Notes in Computer Science,
ISSN: 0302-9743
Volume: 8656, Páginas: 531-548 (18)
Conference
20Th International Conference on the Principles and Practice of Constraint Programming (Cp),
Date:
SEP 08-12, 2014,
Location:
Lyon, FRANCE,
Patrocinadores:
AIMMS, Assoc Constraint Programming, Assoc Francaise Programmat Contraintes, Ctr Natl Rech Sci, Univ Lyon 1, Fac Sci & Technologies, Grad Sch Comp Sci, ICTEAM UCLouvain, INSA Lyon, Lab dInformatique Image & Syst dinformat
Indexing
Wos
®
Metadata
Fontes
Publication Identifiers
Wos
: WOS:000345088200039
Source Identifiers
ISSN
: 0302-9743
Export Publication Metadata
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
Export Preview
Lista
Marked
Adicionar à lista
Marked
Info
At this moment we don't have any links to full text documens.
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service