If you made any changes in Pure these will be visible here soon.
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-Verlag, 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