skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving

Schulz, Stephan ; Möhrmann, Martin

Automated Reasoning, p.330-345 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Programming by Examples: Applications, Algorithms, and Ambiguity Resolution

Gulwani, Sumit

Automated Reasoning, p.9-14 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Unbounded-Thread Program Verification using Thread-State Equations
Unbounded-Thread Program Verification using Thread-State Equations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Unbounded-Thread Program Verification using Thread-State Equations

Athanasiou, Konstantinos ; Liu, Peizun ; Wahl, Thomas

Automated Reasoning, p.516-531 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems

Matsuzaki, 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 Publishing

Texto completo disponível

Citações Citado por
5
Selecting the Selection
Selecting the Selection
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Selecting the Selection

Hoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, Andrei

Automated Reasoning, 2016, Vol.9706, p.313-329 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT

Bansal, Kshitij ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare

Automated Reasoning, p.82-98 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
System Description: GAPT 2.0
System Description: GAPT 2.0
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

System Description: GAPT 2.0

Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon ; Zivota, Sebastian

Automated Reasoning, p.293-301 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Lower Runtime Bounds for Integer Programs
Lower Runtime Bounds for Integer Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Lower Runtime Bounds for Integer Programs

Frohn, F. ; Naaf, M. ; Hensel, J. ; Brockschmidt, M. ; Giesl, J.

Automated Reasoning, p.550-567 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Blanchette, Jasmin Christian ; Fleury, Mathias ; Weidenbach, Christoph

Automated Reasoning, p.25-44 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo ; Peron, Adriano ; Sala, Pietro

Automated Reasoning, p.389-405 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (67)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (42)
  2. Artigos  (21)
  3. Book Chapters  (18)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (6)
  2. 2000Até2006  (5)
  3. 2007Até2010  (6)
  4. 2011Até2015  (8)
  5. Após 2015  (57)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.