Items where Author, Editor or other role is "Seed, Thomas"

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager

Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: S

Number of items: 1.

S

Seed, Thomas and King, Andy and Evans, Neil (2020) Reducing Bit-Vector Polynomials to SAT using Gröbner Bases. In: Pulina, Lusa and Martina, Seidl, eds. The 23rd International Conference on Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science, 12178 . Springer, pp. 361-377. ISBN 978-3-030-51824-0. E-ISBN 978-3-030-51825-7. (doi:10.1007/978-3-030-51825-7) (KAR id:81001)

This list was generated on Wed May 1 19:34:24 2024 BST.