41
TÍTULO: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTORES: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLICAÇÃO: 2018, FONTE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXADO EM: Scopus DBLP
42
TÍTULO: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTORES: Varela, PL; Lynce, I ; Manquinho, V; Chaouiya, C; Monteiro, PT;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
43
TÍTULO: Introducing Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
44
TÍTULO: Logic-Based Encodings for Ricochet Robots
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXADO EM: Scopus WOS DBLP CrossRef
45
TÍTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2016, FONTE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXADO EM: Scopus WOS DBLP
46
TÍTULO: Algorithms for computing backbones of propositional formulae  Full Text
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
47
TÍTULO: Deterministic Parallel MaxSAT Solving  Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
48
TÍTULO: DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability PDF
AUTORES: Miguel Neves; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02408
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
49
TÍTULO: Exploiting Resolution-based Representations for MaxSAT Solving PDF
AUTORES: Miguel Neves; Ruben Martins; Mikolás Janota; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02405
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
50
TÍTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
Página 5 de 16. Total de resultados: 152.