2007/01/01 by Franz Baader, Baader, Franz, Byron Cook +5
Business, Management and Accounting · #Boolean Satisfiability #Combination of Theories #Corporate Governance and Management #Decision Procedures #Deduction #First-Order Logic #Formal Verification #Integer Arithmetic #Model Finding #Satisfiability Modulo Theories Rewrite Systems
paper · doi:10.4230/dagsemproc.07401.1
openalex publication_date 2007/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
From 01.10. to 05.10.2007, the Dagstuhl Seminar 07401 ``Deduction and Decision Procedures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper.