Filter
Conference contribution

Search results

  • 2006

    Generation of oriented matroids using satisfiability solvers

    Schewe, L., 1 Jan 2006, Mathematical Software - ICMS 2006 - Second International Congress on Mathematical Software, Proceedings. Springer, p. 216-218 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4151 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution