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

SAT 2003 (2003 Santa Margherita Ligure, Italy) Enrico Giunchiglia; Armando Tacchella

Berlin Springer New York c2004

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

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

5
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.

6
Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

SAT 2005 (2005 St. Andrews, Scotland) Fahiem Bacchus; Toby Walsh

Berlin Springer New York 2005

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

7
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
8
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
9
Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Heule, Marijn ; Weaver, Sean Weaver, Sean ; Heule, Marijn

Netherlands: Springer Nature 2015

Texto completo disponível

Citações Citado por
10
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Sinz, Carsten ; Egly, Uwe Egly, Uwe ; Sinz, Carsten

Cham: Springer Nature 2014

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2004  (2)
  2. 2004Até2005  (4)
  3. 2006Até2008  (2)
  4. 2009Até2013  (3)
  5. Após 2013  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Biere, A
  2. Walsh, T
  3. SAT 2005
  4. SAT 2004
  5. Giunchiglia, E

Neste Assunto:

  1. Propositional Calculus
  2. Computer Algorithms
  3. Decision Making
  4. Algorithmes
  5. Mathematics

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

Buscando em bases de dados remotas. Favor aguardar.