Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Performance of Clause Selection Heuristics for Saturation-Based Theorem ProvingSchulz, Stephan ; Möhrmann, MartinAutomated Reasoning, p.330-345 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Programming by Examples: Applications, Algorithms, and Ambiguity ResolutionGulwani, SumitAutomated Reasoning, p.9-14 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Unbounded-Thread Program Verification using Thread-State EquationsAthanasiou, Konstantinos ; Liu, Peizun ; Wahl, ThomasAutomated Reasoning, p.516-531 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Race Against the Teens – Benchmarking Mechanized Math on Pre-university ProblemsMatsuzaki, Takuya ; Iwane, Hidenao ; Kobayashi, Munehiro ; Zhan, Yiyang ; Fukasaku, Ryoya ; Kudo, Jumma ; Anai, Hirokazu ; Arai, Noriko H.Automated Reasoning, p.213-227 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Artigo
|
SciPy 1.0: fundamental algorithms for scientific computing in PythonVirtanen, Pauli ; Gommers, Ralf ; Oliphant, Travis E ; Haberland, Matt ; Reddy, Tyler ; Cournapeau, David ; Burovski, Evgeni ; Peterson, Pearu ; Weckesser, Warren ; Bright, Jonathan ; van der Walt, Stéfan J ; Brett, Matthew ; Wilson, Joshua ; Millman, K Jarrod ; Mayorov, Nikolay ; Nelson, Andrew R J ; Jones, Eric ; Kern, Robert ; Larson, Eric ; Carey, C J ; Polat, İlhan ; Feng, Yu ; Moore, Eric W ; VanderPlas, Jake ; Laxalde, Denis ; Perktold, Josef ; Cimrman, Robert ; Henriksen, Ian ; Quintero, E A ; Harris, Charles R ; Archibald, Anne M ; Ribeiro, Antônio H ; Pedregosa, Fabian ; van Mulbregt, PaulNature methods, 2020-03, Vol.17 (3), p.261-272 [Periódico revisado por pares]United States: Nature Publishing GroupTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Selecting the SelectionHoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, AndreiAutomated Reasoning, 2016, Vol.9706, p.313-329 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMTBansal, Kshitij ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, CesareAutomated Reasoning, p.82-98 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
System Description: GAPT 2.0Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon ; Zivota, SebastianAutomated Reasoning, p.293-301 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Lower Runtime Bounds for Integer ProgramsFrohn, F. ; Naaf, M. ; Hensel, J. ; Brockschmidt, M. ; Giesl, J.Automated Reasoning, p.550-567 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A Verified SAT Solver Framework with Learn, Forget, Restart, and IncrementalityBlanchette, Jasmin Christian ; Fleury, Mathias ; Weidenbach, ChristophAutomated Reasoning, p.25-44 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |