Pages that link to "Item:Q2307620"
From MaRDI portal
The following pages link to Editorial: Symbolic computation and satisfiability checking (Q2307620):
Displaying 7 items.
- Special issue on program verification, automated debugging and symbolic computation (Q507345) (← links)
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Building bridges between symbolic computation and satisfiability checking (Q2819729) (← links)
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183) (← links)
- Satisfiability checking and symbolic computation (Q5268815) (← links)
