Certifying solutions to permutation group problems

A Cohen, SH Murray, Martin Pollet, Volker Sorge

Research output: Contribution to conference (unpublished) › Paper

5 Citations (Scopus)

Original language	English
Pages	258-273
Number of pages	16
Publication status	Published - 1 Jan 2003
Event	19th International Conference on Automated Deduction (CADE-19), Jul 28-Aug 02, 2003. MAIMI BEACH, Florida - Duration: 1 Jan 2003 → …

Conference	19th International Conference on Automated Deduction (CADE-19), Jul 28-Aug 02, 2003. MAIMI BEACH, Florida
Period	1/01/03 → …

Cite this

@conference{2e3fee5caf324543b90ec6a087480e1e,

title = "Certifying solutions to permutation group problems",

author = "A Cohen and SH Murray and Martin Pollet and Volker Sorge",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "258--273",

note = "19th International Conference on Automated Deduction (CADE-19), Jul 28-Aug 02, 2003. MAIMI BEACH, Florida ; Conference date: 01-01-2003",

}