Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
11
TÃTULO: Multi-objective Finite-Domain Constraint-Based Forest Management
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLICAÇÃO: 2023, FONTE: 22nd Regular meeting of the Portuguese-Association-of-Operational-Research (APDIO) in OPERATIONAL RESEARCH, IO 2022-OR, VOLUME: 437
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLICAÇÃO: 2023, FONTE: 22nd Regular meeting of the Portuguese-Association-of-Operational-Research (APDIO) in OPERATIONAL RESEARCH, IO 2022-OR, VOLUME: 437
12
TÃTULO: Combining IoT Risk Management with Logic Programming
AUTORES: Luiz Otávio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI)
AUTORES: Luiz Otávio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI)
13
TÃTULO: Constraint Modeling for Forest Management
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLICAÇÃO: 2022, FONTE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLICAÇÃO: 2022, FONTE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
14
TÃTULO: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTORES: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
AUTORES: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP15
TÃTULO: Fifty Years of Prolog and Beyond
AUTORES: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6
AUTORES: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: Preface
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID17
TÃTULO: Declarative Programming and Knowledge Management. Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
18
TÃTULO: Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure
AUTORES: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLICAÇÃO: 2019, FONTE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
AUTORES: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLICAÇÃO: 2019, FONTE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
19
TÃTULO: Constraint-Informed Information Systems in Space Management Utilization
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
INDEXADO EM: 
Handle
Handle20
TÃTULO: Artificial intelligence for the detection of AOX functional markers
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID