William M. Siever

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 2

Top Topics

Automated Design

Boolean Satisfiability

Grammar Guided Genetic Programming

Top Venues

GECCO (Companion)

Publications

Adam Harter, Daniel R. Tauritz, William M. Siever
Asynchronous parallel cartesian genetic programming. GECCO (Companion) (2017)
Marketa Illetskova, Alex R. Bertels, Joshua M. Tuggle, Adam Harter, Samuel Richter, Daniel R. Tauritz, Samuel A. Mulder, Denis Bueno, Michelle Leger, William M. Siever
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. SSCI (2017)
Michael P. Rogers, William M. Siever
A Swift Introduction to Swift App Development (Abstract Only). SIGCSE (2015)
Michael P. Rogers, William M. Siever
The Great Objective-C Swift Migration of 2015 (Abstract Only). SIGCSE (2015)
William M. Siever, Daniel R. Tauritz, Ann Miller, Mariesa L. Crow, Bruce M. McMillin, Stanley Atcitty
Symbolic Reduction for High-Speed Power System Simulation. Simul. 84 (6) (2008)
Travis C. Service, Daniel R. Tauritz, William M. Siever
Infrastructure Hardening: A Competitive Coevolutionary Methodology Inspired by Neo-Darwinian Arms Races. COMPSAC (1) (2007)
William M. Siever, Ann Miller, Daniel R. Tauritz
Blueprint for Iteratively Hardening Power Grids Employing Unified Power Flow Controllers. SoSE (2007)