Multiset - PDFSEARCH.IO - Document Search Engine

Multiset
Results: 76

#	Item
21	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:52:12 Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics Algebra Theoretical computer science
22	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Set-builder notation Formal methods Logic in computer science NP-complete problems Mathematics Mathematical logic Multiset
23	Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-11 06:05:40 Cardinality Set Combination Boolean satisfiability problem Generalized arithmetic progression Permutation Polynomial Mathematics Combinatorics Multiset
24	Introduction Comprehensions in CHR cp Monotonicity Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-09 18:57:09 Computer programming Functional languages Constraint Handling Rules Constraint logic programming Pure Monad Multiset Declarative programming Software engineering Constraint programming
25	Introduction Example Semantics Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2015-03-23 16:43:01 Computing Multiset Mathematics Software engineering Stack Fold
26	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
27	LIPN NOV 2006 Comptage probabiliste : entre ´ mathematique Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2006-11-15 17:23:26 Philippe Flajolet Counting Hash function Cardinal number Cardinality Multiset Mathematics Search algorithms Combinatorics
28	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Software engineering Local consistency Multiset Boolean satisfiability problem Cardinality Decomposition method Linear programming relaxation Constraint programming Theoretical computer science Mathematics
29	ASIAN’04, Chiang Mai 2004 Counting by Coin Tossings Philippe Flajolet, INRIA, France http://algo.inria.fr/flajolet Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2004-12-05 10:29:47 Multiset Cardinal number Birthday problem Hash function Mathematics Probability Cardinality
30	Privacy-Preserving Set Operations Lea Kissner Dawn Song Add to Reading List Source URL: www.iacr.org Language: English - Date: 2005-08-31 11:28:35 Internet privacy Privacy Polynomial Ethics Multiset Carnegie Mellon University