Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=6244

• Extending clause learning of SAT solvers with Boolean Gröbner bases
  Christoph Zengler, Wolfgang Küchlin
  Lecture Notes in Computer Science 6244, 2010, pp. 293-302