TU Darmstadt / ULB / TUbiblio

Generation of Oriented Matroids Using Satisfiability Solvers

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 Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details