The Effect of Nogood Recording in Dpll-Cbj Sat Algorithms

AuthID
 P-000-KJW
2
Author(s)
1
Editor(es)
O'Sullivan,B
Tipo de Documento
Proceedings Paper
Year published
2003
Publicado
in RECENT ADVANCES IN CONSTRAINTS in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 2627, Páginas: 144-158 (15)
Conference
Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Date: JUN 19-21, 2002, Location: CORK, IRELAND, Patrocinadores: ERCIM Working Grp Constraints, CologNet Ares Constraint & Log Programming, Cork Constraint Computat Ctr
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/20060
Google Scholar®
Publication Identifiers
DBLP: conf/colognet/LynceS02
SCOPUS: 2-s2.0-7044254606
Wos: WOS:000184718400011
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service