Search Results - "ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Extraction de sous-formules minimales inconsistantes

    Authors: Gregoire, Eric Mazure, Bertrand Piette, Cédric et al.

    Contributors: Gregoire, Eric Mazure, Bertrand Piette, Cédric et al.

    Source: Journées Francophones de Programmation par Contraintes ; https://inria.hal.science/inria-00085769 ; Journées Francophones de Programmation par Contraintes, 2006, Ecole des Mines d'Alès - Nîmes

    Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Availability: https://inria.hal.science/inria-00085769
    https://inria.hal.science/inria-00085769v1/document
    https://inria.hal.science/inria-00085769v1/file/01.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Extraction de sous-formules minimales inconsistantes

    Authors: Gregoire, Eric Mazure, Bertrand Piette, Cédric et al.

    Contributors: Gregoire, Eric Mazure, Bertrand Piette, Cédric et al.

    Source: Journées Francophones de Programmation par Contraintes ; https://hal.inria.fr/inria-00085769 ; Journées Francophones de Programmation par Contraintes, 2006, Ecole des Mines d'Alès - Nîmes

    Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Relation: inria-00085769; https://hal.inria.fr/inria-00085769; https://hal.inria.fr/inria-00085769/document; https://hal.inria.fr/inria-00085769/file/01.pdf

    Availability: https://hal.inria.fr/inria-00085769
    https://hal.inria.fr/inria-00085769/document
    https://hal.inria.fr/inria-00085769/file/01.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Column Generation for Extended Formulations

    Authors: Sadykov, Ruslan Vanderbeck, François Reformulations based algorithms for Combinatorial Optimization (Realopt) et al.

    Contributors: Sadykov, Ruslan Vanderbeck, François Reformulations based algorithms for Combinatorial Optimization (Realopt) et al.

    Source: ISSN: 2192-4406.

    Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]

    Relation: hal-00661758; https://hal.inria.fr/hal-00661758; https://hal.inria.fr/hal-00661758v2/document; https://hal.inria.fr/hal-00661758v2/file/cgefHall.pdf

    Availability: https://hal.inria.fr/hal-00661758
    https://hal.inria.fr/hal-00661758v2/document
    https://hal.inria.fr/hal-00661758v2/file/cgefHall.pdf
    https://doi.org/10.1007/s13675-013-0009-9

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Joint Spectral Radius, Dilation Equations, and Asymptotic Behavior of Radix-Rational Sequences

    Authors: Dumas, Philippe Symbolic Special Functions : Fast and Certified (SPECFUN) Inria Saclay - Ile de France et al.

    Contributors: Dumas, Philippe Symbolic Special Functions : Fast and Certified (SPECFUN) Inria Saclay - Ile de France et al.

    Source: ISSN: 0024-3795 ; Linear Algebra and its Applications ; https://hal.inria.fr/hal-00780568 ; Linear Algebra and its Applications, Elsevier, 2013, 438 (5), pp.2107-2126. ⟨10.1016/j.laa.2012.10.013⟩.

    Subject Terms: Asymptotic analysis Radix-rational sequence Rational formal power series Joint spectral radius Dilation equation Self-similarity, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General, [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

    Relation: hal-00780568; https://hal.inria.fr/hal-00780568; https://hal.inria.fr/hal-00780568/document; https://hal.inria.fr/hal-00780568/file/LAA-Dumas-vHal.pdf

    Availability: https://hal.inria.fr/hal-00780568
    https://hal.inria.fr/hal-00780568/document
    https://hal.inria.fr/hal-00780568/file/LAA-Dumas-vHal.pdf
    https://doi.org/10.1016/j.laa.2012.10.013

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Locked and Unlocked Polygonal Chains in Three Dimensions

    Authors: Biedl, Thérèse Demaine, Erik Demaine, Martin et al.

    Contributors: Biedl, Thérèse Demaine, Erik Demaine, Martin et al.

    Source: Symposium on Discrete Algorithms - SODA'99 ; https://inria.hal.science/inria-00098772 ; Symposium on Discrete Algorithms - SODA'99, Jan 1999, Baltimore, United States. pp.866 - 867 ; http://delivery.acm.org/10.1145/320000/314977/p866-biedl.pdf?key1=314977&key2=9974440921&coll=DL&dl=ACM&CFID=115354797&CFTOKEN=35617922

    Subject Terms: linkages, mécanismes articulés, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.0: General, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

    Subject Geographic: Baltimore, United States

    Availability: https://inria.hal.science/inria-00098772
    https://inria.hal.science/inria-00098772v2/document
    https://inria.hal.science/inria-00098772v2/file/99-R-227.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: