( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Delivering Inflated Explanations.

, , , и . AAAI, стр. 12744-12753. AAAI Press, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

João Silva Ferraz

Gil dos Santos Guerreiro João

João Afonso Silva Palla Carreiro

João Barros

João Fonseca

 

Другие публикации лиц с тем же именем

New & improved models for SAT-based bi-decomposition., и . ACM Great Lakes Symposium on VLSI, стр. 141-146. ACM, (2012)cmMUS: A Tool for Circumscription-Based MUS Membership Testing., и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2011)Assessing Heuristic Machine Learning Explanations with Model Counting., , , , и . SAT, том 11628 из Lecture Notes in Computer Science, стр. 267-278. Springer, (2019)Quantified Maximum Satisfiability: - A Core-Guided Approach., , и . SAT, том 7962 из Lecture Notes in Computer Science, стр. 250-266. Springer, (2013)SAT in Bioinformatics: Making the Case with Haplotype Inference., и . SAT, том 4121 из Lecture Notes in Computer Science, стр. 136-141. Springer, (2006)Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing., , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 324-342. Springer, (2015)Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription., , и . JELIA, том 6341 из Lecture Notes in Computer Science, стр. 195-207. Springer, (2010)Literal-Based MCS Extraction., , и . IJCAI, стр. 1973-1979. AAAI Press, (2015)SMT-Based Bounded Model Checking for Embedded ANSI-C Software., , и . IEEE Trans. Software Eng., 38 (4): 957-974 (2012)Computing Minimal Sets on Propositional Formulae I: Problems & Reductions., и . CoRR, (2014)