Dutertre - PDFSEARCH.IO - Document Search Engine

Dutertre
Results: 26

#	Item
21	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic
22	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2012-05-15 19:38:07
23	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
24	Projet de recherche - Martin Dutertre Add to Reading List Source URL: www.frm.org Language: French - Date: 2015-02-20 10:56:18
25	Traditions in Western Plainchant/Les traditions du plain-chant occidental Traditions in Western Plainchant/ Les traditions du plain-chant occidental Add to Reading List Source URL: www.gregorian.ca Language: English - Date: 2009-12-18 00:00:00 Jean-François Dutertre Medieval renaissances
26	A.-P. Dutertre Les Stations préhistoriques des Dunes de la Pointe-aux-Oies à Add to Reading List Source URL: www.persee.fr Language: French

UPDATE