×

Found 58 Documents (Results 1–58)

Discrete convexity and its applications. (English) Zbl 1327.90212

Chvátal, Vašek (ed.), Combinatorial optimization. Methods and applications. Based on the lecture series given at the NATO Advanced Study Institute (ASI), Montréal, Canada, June 19–30, 2006. Amsterdam: IOS Press (ISBN 978-1-60750-717-8/pbk). NATO Science for Peace and Security Series D: Information and Communication Security 31, 135-163 (2011).
MSC:  90C25

Notes on A-hypergeometric functions. (English. French summary) Zbl 1295.33015

Di Vizio, Lucia (ed.) et al., Arithmetic and Galois theories of differential equations. Proceedings of the summer school, ‘Galoisian and arithmetic theory of differential equations’, CIRM, Luminy, France, September 21–25, 2009. Paris: Société Mathématique de France (ISBN 978-2-85629-331-7/pbk). Séminaires et Congrès 23, 25-61 (2011).
MSC:  33C60 33C70

Predicate abstraction and refinement for verifying multi-threaded programs. (English) Zbl 1284.68427

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 331-344 (2011).
MSC:  68Q85 68M20 68N19
Full Text: DOI

The tangent space to an enumerative problem. (English) Zbl 1225.14041

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-32-8/hbk; 978-81-85931-08-3/hbk; 978-981-4324-30-4/set; 978-981-4324-35-9/ebook). 405-426 (2011).

A satisfiability-based approach for embedding generalized tanglegrams on level graphs. (English) Zbl 1330.68225

Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 134-144 (2011).
MSC:  68R10 68T20 92D15
Full Text: DOI

Pruning search space for weighted first order Horn clause satisfiability. (English) Zbl 1329.68240

Frasconi, Paolo (ed.) et al., Inductive logic programming. 20th international conference, ILP 2010, Florence, Italy, June 27–30, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-21294-9/pbk). Lecture Notes in Computer Science 6489. Lecture Notes in Artificial Intelligence, 171-180 (2011).
MSC:  68T20 68T05
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software