22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 17-34
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 35-50
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 51-66
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 67-83
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 3. Minimal Unsatisfiability and Automated Reasoning Support > 84-99
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 3. Minimal Unsatisfiability and Automated Reasoning Support > 100-115