Alan Chalmers - PDFSEARCH.IO - Document Search Engine

Alan Chalmers
Results: 11

#	Item
1	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Add to Reading List Source URL: www.cse.chalmers.se - Date: 2012-03-21 07:54:00
2	Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk Add to Reading List Source URL: www.cse.chalmers.se - Date: 2012-03-21 07:53:59
3	IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk Add to Reading List Source URL: www.cse.chalmers.se - Date: 2012-03-21 07:53:59
4	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: www.cse.chalmers.se - Date: 2012-03-21 07:54:00
5	1 The Theory behind TheoryMine Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, and Roy McCasland Abstract—We describe the technology behind the TheoryMine Add to Reading List Source URL: www.cse.chalmers.se - Date: 2015-03-16 05:12:33
6	Invited presentation 4th EG Workshop on Rendering, Paris, June 1993, pRealism in Real Time? Frederik W. Jansen, Delft University of Technology* Alan Chalmers, University of Bristol Abstract Add to Reading List Source URL: www.cg.its.tudelft.nl Language: English - Date: 2007-08-03 10:13:58** Global illumination algorithms 3D computer graphics Computer graphics Optics Geometrical optics Virtual reality Rendering Radiosity Ray tracing Global illumination Path tracing Diffuse reflection
7	A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:46 Constraint programming Constraint Constraint logic programming Constraint satisfaction
8	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
9	PDF Document Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2006-09-14 16:00:12 Year of birth missing History and philosophy of science Philosophy of science Philosophers of science Philosophy Center Leo Apostel for Interdisciplinary Studies Ethology Alan Chalmers Clark Glymour Epistemology Science Knowledge
10	Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of Technol Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-03-20 02:33:25 Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods

UPDATE