Cited in
(39)- Hammering towards QED
- MACE4 and SEM: a comparison of finite model generators
- scientific article; zbMATH DE number 1696822 (Why is no real title available?)
- scientific article; zbMATH DE number 1614712 (Why is no real title available?)
- scientific article; zbMATH DE number 1140676 (Why is no real title available?)
- The automation of reasoning with incomplete information. From semantic foundations to efficient computation
- Model building with ordered resolution: Extracting models from saturated clause sets
- scientific article; zbMATH DE number 1745042 (Why is no real title available?)
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- scientific article; zbMATH DE number 1841825 (Why is no real title available?)
- scientific article; zbMATH DE number 1765659 (Why is no real title available?)
- scientific article; zbMATH DE number 1809864 (Why is no real title available?)
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- A new method for automated finite model building exploiting failures and symmetries
- On First-Order Model-Based Reasoning
- scientific article; zbMATH DE number 638618 (Why is no real title available?)
- scientific article; zbMATH DE number 1086676 (Why is no real title available?)
- Hilberticus
- STRIP
- SATCHMO
- MUSCADET
- MGTP
- scientific article; zbMATH DE number 1543303 (Why is no real title available?)
- FALCON
- ModGen
- MODPROF
- Scavenger
- KoMeT
- HOARD ATINF
- PTTP+GLiDeS
- CoDe
- scientific article; zbMATH DE number 1943847 (Why is no real title available?)
- Prolog technology for default reasoning: proof theory and compilation techniques
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Experiments in the heuristic use of past proof experience
- Scavenger 0.1: a theorem prover based on conflict resolution
- CODE: A powerful prover for problems of condensed detachment
- scientific article; zbMATH DE number 1954131 (Why is no real title available?)
This page was built for software: SCOTT
