skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theory and applications of satisfiability testing 10th international conference, SAT 2007, Lisbon, Portugal, May 28-31 2007 revised selected papers
Theory and applications of satisfiability testing 10th international conference, SAT 2007, Lisbon, Portugal, May 28-31 2007 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and applications of satisfiability testing 10th international conference, SAT 2007, Lisbon, Portugal, May 28-31 2007 revised selected papers

SAT 2007 (2007 Vancouver, B.C.) João Marques-Silva; Karem A Sakallah

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4501 )(Acessar)

2
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)

3
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)

4
Theory and applications of satisfiability testing 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Theory and applications of satisfiability testing 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and applications of satisfiability testing 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

SAT 2004 (2004 Vancouver, B.C.) Holger H Hoos; David G Mitchell Ph. D

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

5
Boolean Function Complexity
Boolean Function Complexity
Boolean Function Complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Boolean Function Complexity

M. S. Paterson R Brown; Michael S Paterson; N. J Hitchin

Cambridge Cambridge University Press 1992

Acesso online. A biblioteca também possui exemplares impressos.

6
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Creignou, Nadia ; Le Berre, Daniel Creignou, Nadia ; Le Berre, Daniel

Netherlands: Springer Nature 2016

Texto completo disponível

Citações Citado por
7
Kinetic Logic: Proceedings of the EMBO Course Formal Analysis of Genetic Regulation , Held in Brussels, September 6-16 1977
Kinetic Logic: Proceedings of the EMBO Course Formal Analysis of Genetic Regulation , Held in Brussels, September 6-16 1977
Material Type:
Livro 		Adicionar ao Meu Espaço

Kinetic Logic: Proceedings of the EMBO Course Formal Analysis of Genetic Regulation , Held in Brussels, September 6-16 1977

Thomas, R

Berlin, Heidelberg: Springer Berlin / Heidelberg 1979

Texto completo disponível

Citações Citado por
8
Kinetic Logic A Boolean Approach to the Analysis of Complex Regulatory Systems: Proceedings of the EMBO Course "Formal Analysis of Genetic Regulation", Held in Brussels, September 6-16, 1977
Kinetic Logic A Boolean Approach to the Analysis of Complex Regulatory Systems: Proceedings of the EMBO Course "Formal Analysis of Genetic Regulation", Held in Brussels, September 6-16, 1977
Material Type:
Livro 		Adicionar ao Meu Espaço

Kinetic Logic A Boolean Approach to the Analysis of Complex Regulatory Systems: Proceedings of the EMBO Course "Formal Analysis of Genetic Regulation", Held in Brussels, September 6-16, 1977

Levin, S ; Thomas, René Thomas, René

Berlin, Heidelberg: Springer Berlin / Heidelberg 1979

Texto completo disponível

Citações Citado por
9
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Giunchiglia, Enrico ; Tacchella, Armando Giunchiglia, Enrico ; Tacchella, Armando

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
10
Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Cimatti, Alessandro ; Sebastiani, Roberto Cimatti, Alessandro ; Sebastiani, Roberto

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (11)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (3)
  2. 1992Até2004  (3)
  3. 2005Até2006  (3)
  4. 2007Até2012  (3)
  5. Após 2012  (2)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Biere, A
  2. Paterson, M
  3. SAT 2004
  4. Van Maaren, H
  5. Marques Silva, J

Neste Assunto:

  1. Algebra, Boolean
  2. Computer Algorithms
  3. Propositional Calculus
  4. Decision Making
  5. Mathematics

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

Buscando em bases de dados remotas. Favor aguardar.