McDowell - PDFSEARCH.IO - Document Search Engine

McDowell
Results: 1027

#	Item
111	Race 3 ! Sunday, October 11 McDowell Mountain Regional Park Fountain Hills, AZ Add to Reading List Source URL: www.arizonamtb.org Language: English - Date: 2015-08-06 21:20:44
112	Michael McDowell Clam Tide On clamming weekends the countryside rises and drives to the coast hoping to dig dinner. Add to Reading List Source URL: www.hevanet.com - Date: 2010-04-30 16:46:45
113	Parallel MUS Extraction ? Anton Belov1 , Norbert Manthey2 , and Joao Marques-Silva1,3 1 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
114	Natural Computing manuscript No. (will be inserted by the editor) DNA origami and the complexity of Eulerian circuits with turning costs Joanna A. Ellis-Monaghan · Andrew McDowell Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-02 21:46:29
115	Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov∗ University College Dublin Ireland Matti J¨arvisalo† Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
116	Speeding-up Non-Clausal Local Search for Propositional Satisfiability with Clause Learning Z. Stachniak A. Belov Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
117	MUSer2: An Efficient MUS Extractor SYSTEM DESCRIPTION Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory University College Dublin, Ireland Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
118	Minimally Unsatisfiable Boolean Circuits Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics University College Dublin, Ireland Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
119	Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability Anton Belov1⋆ and Matti J¨arvisalo2⋆⋆ 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
120	Speeding-up Non-Clausal Local Search for Propositional Satisfiability with Clause Learning Zbigniew Stachniak and Anton Belov ⋆ Department of Computer Science and Engineering, York University, Toronto, Canada {zbigniew Add to Reading List Source URL: anton.belov-mcdowell.com Language: English