scientific article; zbMATH DE number 1252517
From MaRDI portal
Publication:4229404
Recommendations
Cited in
(23)- Lightweight relevance filtering for machine-generated resolution problems
- Computation, logic, philosophy. A collection of essays
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- Completing the spectrum of \(r\)-orthogonal Latin squares
- Quasigroups satisfying Stein's third law with a specified number of idempotents
- An overview of automated reasoning and related fields
- The application of automated reasoning to formal models of combinatorial optimization
- Larry Wos: visions of automated reasoning
- Set of support, demodulation, paramodulation: a historical perspective
- A Wos Challenge Met
- A posthumous contribution by Larry Wos: excerpts from an unpublished column
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- The SAT+CAS method for combinatorial search with applications to best matrices
- Proving pointer programs in higher-order logic
- Handbook of automated reasoning. In 2 vols
- 25 new r-self-orthogonal Latin squares
- scientific article; zbMATH DE number 41806 (Why is no real title available?)
- scientific article; zbMATH DE number 53302 (Why is no real title available?)
- Automated reasoning in social choice theory: some remarks
- scientific article; zbMATH DE number 1568006 (Why is no real title available?)
- A Short Survey of Automated Reasoning
- Schröder quasigroups with a specified number of idempotents
- A proof-centric approach to mathematical assistants
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229404)
