Applying sat solving in classification of finite algebras

A Meier, Volker Sorge, E Giunchiglia, T Walsh

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationSAT 2005 - Satisfiability Research in the Year 2005
Publication statusPublished - 1 Jan 2006

Cite this