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