Schewe, Lars (2006):
Generation of Oriented Matroids Using Satisfiability Solvers.
In: International Congress on Mathematical Software <Castro Urdiales,2006> ; Mathematical Software - ICMS 2006 ; 216-218 ; ISBN: 978-3-540-38084-9, pp. 216-218, [Conference or Workshop Item]
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2006 |
| Creators: | Schewe, Lars |
| Title: | Generation of Oriented Matroids Using Satisfiability Solvers |
| Language: | English |
| Series Name: | International Congress on Mathematical Software <Castro Urdiales,2006> ; Mathematical Software - ICMS 2006 ; 216-218 ; ISBN: 978-3-540-38084-9 |
| Divisions: | 04 Department of Mathematics |
| Date Deposited: | 20 Nov 2008 08:17 |
| License: | [undefiniert] |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum