par Cardinal, Jean ;Nummenpalo, Jerri;Welzl, Emo
Référence Leibniz international proceedings in informatics, 89
Publication Publié, 2018-02
Article révisé par les pairs
Titre:
  • Solving and sampling with many solutions: Satisfiability and other hard problems
Auteur:Cardinal, Jean; Nummenpalo, Jerri; Welzl, Emo
Informations sur la publication:Leibniz international proceedings in informatics, 89
Statut de publication:Publié, 2018-02
Sujet CREF:Informatique générale
Mots-clés:Parameterized complexity
Sampling
Satisfiability
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.IPEC.2017.11
info:scp/85044737218

Documents en relation

DI-fusion