McDowell - PDFSEARCH.IO - Document Search Engine

McDowell
Results: 1027

#	Item
121	Core Minimization in SAT-based Abstraction Anton Belov∗ ∗ Huan Chen∗ Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
122	Accelerating MUS Extraction with Recursive Model Rotation Anton Belov Joao Marques-Silva Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
123	MUS Extraction using Clausal Proofs Anton Belov1 , Marijn Heule2 and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
124	SAT-based Preprocessing for MaxSAT ? Anton Belov1 , Ant´onio Morgado2 , and Joao Marques-Silva1,2 1 Complex and Adaptive Systems Laboratory University College Dublin 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
125	Minimal Sets over Monotone Predicates in Boolean Formulae Joao Marques-Silva1,2 , Mikol´aˇs Janota2 , and Anton Belov1? 1 2 Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
126	On Computing Minimal Correction Subsets Joao Marques-Silva CASL/UCD, Ireland IST/INESC-ID, Portugal Add to Reading List Source URL: anton.belov-mcdowell.com Language: English
127	CAULIFLOWER PHOTOGR APH BY LUCAS Z AREBINSKI; FOOD ST YLING BY VIVIAN LUI. PHOTOGR APHY BY LUCAS Z AREBINSKI; FOOD ST YLING BY CYD R AFTUS MCDOWELL; PROP ST YLING BY TIZIANA AGNELLO. T-REX AND CHICKEN, SHUT TERSTOCK.COM Add to Reading List Source URL: www.mediabistro.com Language: English
128	SKYSONG SCOTTSDALE ASU INNOVATION CENTER RETAIL FOR LEASE SEC McDowell Rd & Scottsdale Rd \| Scottsdale, AZ 85257 Add to Reading List Source URL: skysongcenter.com Language: English
129	1 米国における最近の課題： HIV感染症における非AIDS合併症ケア Ann M. Khalsa, MD, MSEd, AAHIVS McDowell (HIV/AIDS) Healthcare Center, MIHS Add to Reading List Source URL: www.hivcare.jp Language: Japanese - Date: 2012-05-02 02:07:50
130	Accelerating MUS Extraction with Recursive Model Rotation Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics Add to Reading List Source URL: anton.belov-mcdowell.com Language: English

UPDATE