1![Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology](https://www.pdfsearch.io/img/a1145d7c87226f243bf0f32c31c2708f.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2014-04-14 05:43:30
|
---|
2![Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz](https://www.pdfsearch.io/img/c7ec75022ea9644f7b6a3eb1c97e08dc.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
3![Applicable Analysis and Discrete Mathematics available online at http://pefmath.etf.bg.ac.yu Appl. Anal. Discrete Math), 322–337. doi:AADM100425018H Applicable Analysis and Discrete Mathematics available online at http://pefmath.etf.bg.ac.yu Appl. Anal. Discrete Math), 322–337. doi:AADM100425018H](https://www.pdfsearch.io/img/f6cc6185a96f2d1be1156e5accc5bf4b.jpg) | Add to Reading ListSource URL: www.doiserbia.nb.rsLanguage: English - Date: 2010-09-17 06:59:30
|
---|
4![Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number](https://www.pdfsearch.io/img/a7aebaf664935d00c1d1808075f10239.jpg) | Add to Reading ListSource URL: crab.rutgers.eduLanguage: English - Date: 2010-10-08 18:22:50
|
---|
5![Hausdorff Center for Mathematics, Summer School (May 9–13, 2016) Problems for “Discrete Convex Analysis” (by Kazuo Murota) Problem 1. Prove that a function f : Z2 → R defined by f (x1 , x2 ) = φ(x1 − x2 ) is Hausdorff Center for Mathematics, Summer School (May 9–13, 2016) Problems for “Discrete Convex Analysis” (by Kazuo Murota) Problem 1. Prove that a function f : Z2 → R defined by f (x1 , x2 ) = φ(x1 − x2 ) is](https://www.pdfsearch.io/img/bf9e15f822f6b45e9aa328e766d8d7a3.jpg) | Add to Reading ListSource URL: www.comp.tmu.ac.jpLanguage: English - Date: 2016-05-09 03:17:31
|
---|
6![SIAM J. DISCRETE MATH. Vol. 31, No. 3, pp. 1765–1800 c 2017 Society for Industrial and Applied Mathematics SIAM J. DISCRETE MATH. Vol. 31, No. 3, pp. 1765–1800 c 2017 Society for Industrial and Applied Mathematics](https://www.pdfsearch.io/img/4bbc71e3e065596d8a70c17e569d2285.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2017-09-21 11:29:00
|
---|
7![Specht modules and chromatic polynomials Norman Biggs Centre for Discrete and Applicable Mathematics London School of Economics Specht modules and chromatic polynomials Norman Biggs Centre for Discrete and Applicable Mathematics London School of Economics](https://www.pdfsearch.io/img/ba13dadb509969105e0119cfbe5816bd.jpg) | Add to Reading ListSource URL: www.cdam.lse.ac.ukLanguage: English - Date: 2017-04-12 10:30:26
|
---|
8![SIAM J. DISCRETE MATH. Vol. 25, No. 1, pp. 211–233 c 2011 Society for Industrial and Applied Mathematics SIAM J. DISCRETE MATH. Vol. 25, No. 1, pp. 211–233 c 2011 Society for Industrial and Applied Mathematics ](https://www.pdfsearch.io/img/69ce05a2e7eca57586d4c5e2307f09a2.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2011-02-10 15:06:57
|
---|
9![Links Between Learning and Optimization: a Brief Tutorial Martin Anthony Department of Mathematics and Centre for Discrete and Applicable Mathematics The London School of Economics and Political Science Links Between Learning and Optimization: a Brief Tutorial Martin Anthony Department of Mathematics and Centre for Discrete and Applicable Mathematics The London School of Economics and Political Science](https://www.pdfsearch.io/img/35dd5842fd1951785e243dfaeaf214c2.jpg) | Add to Reading ListSource URL: www.cdam.lse.ac.ukLanguage: English - Date: 2017-04-12 10:30:43
|
---|
10![Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004 Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004](https://www.pdfsearch.io/img/5e5258749d35ce6f75680657ed796604.jpg) | Add to Reading ListSource URL: www.mathematik.uni-leipzig.deLanguage: English - Date: 2005-10-27 11:32:16
|
---|