skip to main content

Sair
Identificação

Idioma:

Sparse models a tractable fragment for SAT, MAXSAT and PSAT

Marcelo Finger Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)

Book of Abstracts João Pessoa : EDUFCG, 2019

João Pessoa EDUFCG 2019

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

Enviar para

Título:
Sparse models a tractable fragment for SAT, MAXSAT and PSAT
Autor: Marcelo Finger
Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)
Assuntos: LÓGICA; PROBABILIDADE
É parte de: Book of Abstracts João Pessoa : EDUFCG, 2019
Notas: Disponível em: . Acesso em: 27 set. 2019
Editor: João Pessoa EDUFCG
Data de criação/publicação: 2019
Formato: p. 128-129.
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento