skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Aided Verification
Computer Aided Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification

Roderick Bloem Armin Biere Roderick Bloem; Josef Kittler

Springer International Publishing 2014

Acesso online

2
Theory and applications of satisfiability testing -- SAT 2006 9th international conference, Seattle, WA, USA, August 12-15, 2006 proceedings
Theory and applications of satisfiability testing -- SAT 2006 9th international conference, Seattle, WA, USA, August 12-15, 2006 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and applications of satisfiability testing -- SAT 2006 9th international conference, Seattle, WA, USA, August 12-15, 2006 proceedings

SAT 2006 (2006 Seattle, Wash.) Armin Biere; Carla Gomes

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4121 ) e outros locais(Acessar)

3
Handbook of satisfiability
Handbook of satisfiability
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of satisfiability

Armin Biere; Marijn Heule; Hans Van Maaren; Toby Walsh

Amsterdam, The Netherlands IOS Press Washington, DC c2009

Localização: IME - Inst. Matemática e Estatística    (QA860.C3 B588h )(Acessar)

4
Incremental column-wise verification of arithmetic circuits using computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
Material Type:
Artigo 		Adicionar ao Meu Espaço

Incremental column-wise verification of arithmetic circuits using computer algebra

Kaufmann, Daniela ; Biere, Armin ; Kauers, Manuel

Formal methods in system design, 2020-12, Vol.56 (1-3), p.22-54 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
5
Mining definitions in Kissat with Kittens
Mining definitions in Kissat with Kittens
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mining definitions in Kissat with Kittens

Fleury, Mathias ; Biere, Armin

Formal methods in system design, 2022, Vol.60 (3), p.381-404 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
6
Certified SAT solving with GPU accelerated inprocessing
Certified SAT solving with GPU accelerated inprocessing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Certified SAT solving with GPU accelerated inprocessing

Osama, Muhammad ; Wijs, Anton ; Biere, Armin

Formal methods in system design, 2024, Vol.62 (1-3), p.79-118 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
7
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
8
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
9
Strong Extension-Free Proof Systems
Strong Extension-Free Proof Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Strong Extension-Free Proof Systems

Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin

Journal of automated reasoning, 2020-03, Vol.64 (3), p.533-554 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
10
Preface to the Special Issue on Automated Reasoning Systems
Preface to the Special Issue on Automated Reasoning Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface to the Special Issue on Automated Reasoning Systems

Biere, Armin ; Tinelli, Cesare ; Weidenbach, Christoph

Journal of automated reasoning, 2020-03, Vol.64 (3), p.361-362 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (105)
  2. Artigos  (64)
  3. Anais de Congresso  (36)
  4. Conjunto de Dados  (18)
  5. Livros  (14)
  6. Reports  (10)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (9)
  2. 2001Até2005  (29)
  3. 2006Até2010  (20)
  4. 2011Até2016  (101)
  5. Após 2016  (85)
  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.