Generation of oriented matroids using satisfiability solvers

Lars Schewe

Generation of oriented matroids using satisfiability solvers

^*Corresponding author for this work

School of Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Mathematical Software - ICMS 2006 - Second International Congress on Mathematical Software, Proceedings
Publisher	Springer
Pages	216-218
Number of pages	3
ISBN (Print)	3540380841, 9783540380849
Publication status	Published - 1 Jan 2006
Event	2nd International Congress on Mathematical Software, ICMS 2006 - Castro Urdiales, Spain Duration: 1 Sept 2006 → 3 Sept 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4151 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Congress on Mathematical Software, ICMS 2006
Country/Territory	Spain
City	Castro Urdiales
Period	1/09/06 → 3/09/06

Cite this

@inproceedings{14f51973f5974167a20cfe494bb5dd95,

title = "Generation of oriented matroids using satisfiability solvers",

author = "Lars Schewe",

year = "2006",

month = jan,

day = "1",

language = "English",

isbn = "3540380841",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "216--218",

booktitle = "Mathematical Software - ICMS 2006 - Second International Congress on Mathematical Software, Proceedings",

address = "United Kingdom",

note = "2nd International Congress on Mathematical Software, ICMS 2006 ; Conference date: 01-09-2006 Through 03-09-2006",

}

Schewe, L 2006, Generation of oriented matroids using satisfiability solvers. in Mathematical Software - ICMS 2006 - Second International Congress on Mathematical Software, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4151 LNCS, Springer, pp. 216-218, 2nd International Congress on Mathematical Software, ICMS 2006, Castro Urdiales, Spain, 1/09/06.

Generation of oriented matroids using satisfiability solvers. / Schewe, Lars.
Mathematical Software - ICMS 2006 - Second International Congress on Mathematical Software, Proceedings. Springer, 2006. p. 216-218 (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 proceeding › Conference contribution

TY - GEN

T1 - Generation of oriented matroids using satisfiability solvers

AU - Schewe, Lars

PY - 2006/1/1

Y1 - 2006/1/1

UR - http://www.scopus.com/inward/record.url?scp=33750085299&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33750085299

SN - 3540380841

SN - 9783540380849

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 216

EP - 218

BT - Mathematical Software - ICMS 2006 - Second International Congress on Mathematical Software, Proceedings

PB - Springer

T2 - 2nd International Congress on Mathematical Software, ICMS 2006

Y2 - 1 September 2006 through 3 September 2006

ER -

Generation of oriented matroids using satisfiability solvers

Publication series

Conference

Other files and links

Cite this