| Item Type: |
Conference or Workshop Item
|
| Erschienen: |
2006 |
| Creators: |
Schewe, Lars |
| Type of entry: |
Bibliographie |
| Title: |
Generation of Oriented Matroids Using Satisfiability Solvers |
| Language: |
English |
| Date: |
1 January 2006 |
| Series: |
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 |
| Last Modified: |
05 Mar 2013 08:58 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
Drucken
Impressum