11
TÍTULO: A SAT-Based Approach to Learn Explainable Decision Sets
AUTORES: Ignatiev, A; Pereira, F; Narodytska, N; Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 9th International Joint Conference on Automated Reasoning (IJCAR) Held as Part of the Federated Logic Conference (FloC) in AUTOMATED REASONING, IJCAR 2018, VOLUME: 10900
INDEXADO EM: Scopus WOS CrossRef: 12
NO MEU: ORCID
12
TÍTULO: Computing with SAT Oracles: Past, Present and Future
AUTORES: Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936
INDEXADO EM: Scopus WOS Unpaywall
13
TÍTULO: Computing with SAT Oracles: Past, Present and Future
AUTORES: Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, VOLUME: 10936
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: Learning Optimal Decision Trees with SAT
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: MaxSAT Resolution with the Dual Rail Encoding
AUTORES: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
16
TÍTULO: Premise Set Caching for Enumerating Minimal Correction Subsets
AUTORES: Previti, A; Mencia, C; Jarvisalo, M; Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS DBLP
NO MEU: DBLP
17
TÍTULO: Propositional SAT Solving
AUTORES: Joao Marques Silva ; Sharad Malik;
PUBLICAÇÃO: 2018, FONTE: Handbook of Model Checking.
INDEXADO EM: Scopus DBLP Unpaywall
NO MEU: DBLP
18
TÍTULO: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929
INDEXADO EM: Scopus WOS CrossRef: 46 Unpaywall
NO MEU: ORCID
19
TÍTULO: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10929
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: An Achilles' Heel of Term-Resolution
AUTORES: Janota, M; Marques Silva, J ;
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: 3 Unpaywall
NO MEU: DBLP
Página 2 de 28. Total de resultados: 271.