Solution of the Robbins problem
From MaRDI portal
Recommendations
Cited in
(62)- Absorption and idempotency criteria for a problem in near-Boolean algebras
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- The resonance strategy
- Using the prover ANDP to simplify orthogonality.
- Theorem proving modulo
- Evaluating general purpose automated theorem proving systems
- Automated conjecturing. III. Property-relations conjectures
- The application of automated reasoning to formal models of combinatorial optimization
- Simplifying von Plato's axiomatization of constructive apartness geometry
- Knowledge-based proof planning
- Additive number theory via automata theory
- Larry Wos: visions of automated reasoning
- Relaxed weighted path order in theorem proving
- Basis reduction for cryptogroups and orthogroups
- Certified equational reasoning via ordered completion
- On computer-assisted proving the existence of periodic and bounded orbits
- Experimental mathematics, computers and the a priori
- Automated conjecture making in number theory using HR, Otter and Maple
- Linear groupoids and the associated wreath products.
- From informal to formal proofs in Euclidean geometry
- Robbins algebras vs. Boolean algebras
- Automated deduction in ring theory
- Mechanizing complemented lattices within Mizar type system
- Checking proofs
- Proof verification technology and elementary physics
- On Automating the Calculus of Relations
- Computer solutions of problems in inverse semigroups.
- Automated inference of finite unsatisfiability
- A method for finding new sets of axioms for classes of semigroups.
- Computational logic: its origins and applications
- Well-behaved search and the Robbins problem
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- The legacy of a great researcher
- The strategy challenge in SMT solving
- MACE4 and SEM: a comparison of finite model generators
- Harald Ganzinger's legacy: contributions to logics and programming
- Deduction as an engineering science
- scientific article; zbMATH DE number 1446773 (Why is no real title available?)
- An introduction to mechanized reasoning
- Building Theorem Provers
- Automated Inference of Finite Unsatisfiability
- The clause-diffusion theorem prover Peers-mcd (system description)
- Filtering unification and most general unifiers in modal logic
- One step further : an explicit solution to Robbins’ problem when n = 4
- MPTP-motivation, implementation, first experiments
- Goals and benchmarks for automated map reasoning
- On a Problem of Robbins
- Ken Kunen: algebraist.
- Artificial intelligence and inherent mathematical difficulty
- Single axioms for groups
- Closed nominal rewriting and efficiently computable nominal algebra equality
- Reducibility constraints in superposition
- An empirical assessment of progress in automated theorem proving
- Automated reasoning for mathematics
- Automated conjecturing with TxGraffiti
- Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean
- Computer supported mathematics with MEGA
- Superposition-based equality handling for analytic tableaux
- Computer-aided proof of Erdős discrepancy properties
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
- Complete axiomatizations for XPath fragments
This page was built for publication: Solution of the Robbins problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1373299)
