Filtrer vos résultats
- 9
- 7
- 7
- 4
- 3
- 1
- 1
- 3
- 13
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 15
- 1
- 12
- 11
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 16
- 8
- 7
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
16 résultats
|
|
|
triés par
|
|
|
Forwarding Tables Verification through Representative Header Sets[Research Report] Inria Paris Rocquencourt. 2016
Rapport
hal-01262130v1
|
||
A Translation of Pseudo-Boolean Constraints to SATJournal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.191-200
Article dans une revue
hal-00159880v1
|
|||
|
|
Achievable Catalog Size in Peer-to-Peer Video-on-Demand SystemsProceedings of the 7th Internnational Workshop on Peer-to-Peer Systems (IPTPS), Feb 2008, Tampa Bay, United States. pp.1-6
Communication dans un congrès
inria-00471724v1
|
||
|
|
Regular Random k-SAT: Properties of Balanced FormulasJournal of Automated Reasoning, 2005, 35 (1-3), pp.181 - 200. ⟨10.1007/s10817-005-9012-z⟩
Article dans une revue
hal-00159618v1
|
||
|
|
The Observable Web[Research Report] RR-4790, INRIA. 2003
Rapport
inria-00071796v1
|
||
Full CNF Encoding: The Counting Constraints CaseThe Seventh International Conference on Theory and Applications of Satisfiability Testing, May 2004, Vancouver, Canada
Communication dans un congrès
hal-00159899v1
|
|||
|
|
Constraint ReductionsCP anniversary Volume, 2019
Autre publication scientifique
hal-02735275v1
|
||
|
|
Estimating satisfiabilityDiscrete Applied Mathematics, 2012, 160 (1-2), pp.19. ⟨10.1016/j.dam.2011.10.005⟩
Article dans une revue
hal-01262275v1
|
||
|
|
Vérification de tables de routage par utilisation d'un ensemble représentatif d'en-têtesALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01148595v1
|
||
Tractable cover compilationsProc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97), 1997, Nagoya, Japan. pp.122-127
Communication dans un congrès
hal-03300529v1
|
|||
|
|
Reconstructing (h,v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projectionsTheoretical Computer Science, 2003, 290 (3), pp.1647-1664. ⟨10.1016/S0304-3975(02)00072-5⟩
Article dans une revue
hal-01185718v1
|
||
|
|
Scalable Distributed Video-on-Demand: Theoretical Bounds and Practical Algorithms[Research Report] RR-6496, INRIA. 2008, pp.19
Rapport
inria-00270406v2
|
||
|
|
An Upload Bandwidth Threshold for Peer-to-Peer Video-on-Demand Scalability23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2009, Rome, Italy. pp.1--10, ⟨10.1109/IPDPS.2009.5161047⟩
Communication dans un congrès
inria-00471728v1
|
||
|
|
Fine Tuning of a Distributed VoD System18th IEEE International Conference on Computer Communications and Networks (ICCCN), Aug 2009, San Francisco, United States. pp.1--7, ⟨10.1109/ICCCN.2009.5235272⟩
Communication dans un congrès
inria-00471730v1
|
||
New Encodings of Pseudo-Boolean Constraints into CNFTheory and Applications of Satisfiability Testing - SAT 2009, Jun 2009, Swansea, United Kingdom. pp.181-194
Communication dans un congrès
hal-00415126v1
|
|||
|
|
Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets2018
Pré-publication, Document de travail
hal-01868778v1
|