João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



191
TÍTULO: On Using Unsatisfiability for Solving Maximum Satisfiability PDF
AUTORES: João Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2007, FONTE: CoRR, VOLUME: abs/0712.1097
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
192
TÍTULO: Random backtracking in backtrack search algorithms for satisfiability  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: DISCRETE APPLIED MATHEMATICS, VOLUME: 155, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
193
TÍTULO: Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
AUTORES: João Marques Silva ; Karem A Sakallah; Inês Lynce ;
PUBLICAÇÃO: 2007, FONTE: AI Magazine, VOLUME: 28, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
194
TÍTULO: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings
AUTORES: João Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 2007, FONTE: SAT, VOLUME: 4501
INDEXADO EM: DBLP
NO MEU: DBLP
195
TÍTULO: Towards equivalence checking between TLM and RTL models
AUTORES: Bombieri, N; Fummi, F; Pravadelli, G; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: 5th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07 in MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 27 Unpaywall
NO MEU: ORCID | DBLP
196
TÍTULO: Towards robust CNF encodings of cardinality constraints
AUTORES: Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2007, FONTE: 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, VOLUME: 4741
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
197
TÍTULO: Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel
AUTORES: Kullmann, O; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
198
TÍTULO: Counting models in integer domains
AUTORES: Morgado, António ; Matos, P; Manquinho, V ; Marques Silva, J ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | DBLP
199
TÍTULO: Efficient Haplotype Inference with Boolean Satisfiability
AUTORES: Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2006, FONTE: 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06 in Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, VOLUME: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
200
TÍTULO: On Using Cutting Planes in Pseudo-Boolean Optimization PDF
AUTORES: Vasco M. Manquinho; João Marques Marques Silva ;
PUBLICAÇÃO: 2006, FONTE: JSAT, VOLUME: 2, NÚMERO: 1-4
INDEXADO EM: DBLP
NO MEU: DBLP
Página 20 de 28. Total de resultados: 271.

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