Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 156



151
TÍTULO: The effect of nogood recording in DPLL-CBJ SAT algorithms  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2003, FONTE: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming in RECENT ADVANCES IN CONSTRAINTS, VOLUME: 2627
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
152
TÍTULO: Building state-of-the-art SAT solvers
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2002, FONTE: 15th European Conference on Artificial Intelligence in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 77
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
153
TÍTULO: Tuning Randomization in Backtrack Search SAT Algorithms
AUTORES: Inês Lynce ; João Marques Marques Silva ;
PUBLICAÇÃO: 2002, FONTE: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, VOLUME: 2470
INDEXADO EM: DBLP
NO MEU: DBLP
154
TÍTULO: Improving SAT Algorithms by Using Search Pruning Techniques
AUTORES: Inês Lynce ; João P Marques Silva ;
PUBLICAÇÃO: 2001, FONTE: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2239
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
155
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
156
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: 156.

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

Links Úteis

Ajuda

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