Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

TitleCombining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
Publication TypeJournal Article
Year of Publication2017
AuthorsZulkoski, E., C. Bright, A. Heinle, I. Kotsireas, K. Czarnecki, and V. Ganesh
JournalJournal of Automated Reasoning
Volume58
Start Page313
Issue3
Pagination339
Date Published03/2011
URLhttps://link.springer.com/article/10.1007/s10817-016-9396-y
DOI10.1007/s10817-016-9396-y

WISE Lab logo

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.