(1 - 10 von 10
)
Johannes Fichte (Vienna University of Technology) | Talks |...
aco.cs.sfu.ca
Speaker: Johannes Fichte (Vienna University of Technology) Abstract: Over the last two decades, propositional satisfiability (SAT) has become one of the most ...
Algorithms and Complexity Group - Simon Fraser Universityaco.cs.sfu.ca › Events › files › category-talks
aco.cs.sfu.ca
Johannes Fichte (Vienna University of Technology) :30. Complexity Barrier Breaking Red's - Backdoors for ASP Read More.
First Symposium on Structure in Hard Combinatorial Problems : Vienna...
www.vcla.at
... Armin Biere (Johannes Kepler University Linz); Simone Bova (Vienna University of Technology); Ronald de Haan (Vienna University of Technology); Rina Dechter (University of California, Irvine); Wolfgang Dvorák (University of Vienna); Johannes Fichte (Vienna University of Technology); Robert Ganian ...
sortiert nach Relevanz / Datum