(1 - 7 von 9
)
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.
PACE winners announced | Networkswww.thenetworkcenter.nl › News › article › PACE-...
www.thenetworkcenter.nl
4th place: Andre Schidler, Johannes Fichte and Markus Hecher (team TUW from TU Vienna). Track B: 1st place: Thorsten Koch and Daniel Rehfeldt (team reko ...
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