26
Publications
635
Citations
15
H-Index
1985
Active since
Russell Bradford is an author at University of Bath specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringParallel ComputingParallel ProgrammingComputational ComplexityMathematical ProgrammingEdge ComputingFormal MethodsNetwork Analysis
Publications per year
1985–2019
26
26
Cylindrical algebraic decompositions for boolean combinations
Russell Bradford, James H. Davenport, Matthew England et al. · 2013 · 41 citations · Full text
Circuit Complexity, Mathematical Programming, Truth Values +16
Rows per page
1–5 of 26