Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



151
TÍTULO: Stochastic Systematic Search Algorithms for Satisfiability
AUTORES: Inês Lynce ; Luís Baptista; João Marques Silva ;
PUBLICAÇÃO: 2001, FONTE: Electron. Notes Discret. Math., VOLUME: 9
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
152
TÍTULO: Towards Provably Complete Stochastic Search Algorithms for Satisfiability
AUTORES: Inês Lynce ; Luís Baptista; João P Marques Silva ;
PUBLICAÇÃO: 2001, FONTE: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 16 de 16. Total de resultados: 152.

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