Search results for: Leonardo Moura
Journal of Neurochemistry > 158 > 2 > 262 - 281
Journal of Avian Biology > 50 > 4 > n/a - n/a
Neurotoxicity Research > 2019 > 35 > 4 > 809-822
Neurotoxicity Research > 2018 > 34 > 3 > 693-705
Neurotoxicity Research > 2017 > 32 > 2 > 264-275
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Invited Talks > 1-1
Lecture Notes in Computer Science > Automated Reasoning > Invited Talk > 400-411
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 640-654
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 35-50
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 6. Satisfiability Modulo Theories > 183-198