Armin

Results: 701



#Item
61

A fast polygon inflation algorithm to compute the area of feasible solutions for three-component systems. I: Concepts and applications. Mathias Sawalla , Christoph Kubisb , Detlef Selentb , Armin B¨ornerb , Klaus Neymey

Add to Reading List

Source URL: alf.math.uni-rostock.de

- Date: 2016-12-06 11:03:08
    62

    Simulating Structual Reasoning on the CNF-Level Symposium on Structure in Hard Combinatorial Problems TU Vienna, Austria Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

    Add to Reading List

    Source URL: fmv.jku.at

    - Date: 2016-12-16 21:49:26
      63

      DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

      Add to Reading List

      Source URL: www.kr.tuwien.ac.at

      - Date: 2013-05-02 03:19:04
        64

        Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination? Florian Lonsing1 , Fahiem Bacchus2 , Armin Biere3 , Uwe Egly1 , and Martina Seidl3 1

        Add to Reading List

        Source URL: www.kr.tuwien.ac.at

        - Date: 2015-10-06 05:24:28
          65

          Using Semantic UI Descriptions for Adaptive Mobile Games Pascal Bihler, Holger M¨ugge, Mark Schmatz and Armin B. Cremers Institute of Computer Science III, University of Bonn R¨omerstr. 164, 53117 Bonn, Germany {bihler

          Add to Reading List

          Source URL: subs.emis.de

          - Date: 2013-10-04 11:17:47
            66

            Koordinierungsstelle BNE-Hochschulnetzwerk Baden-Württemberg z. Hd. Prof. Dr. Armin Lude, Pädagogische Hochschule Ludwigsburg Reuteallee 46, 71634 Ludwigsburg Ludwigsburg, den 31. Januar 2014 Ministerium für Kultus, J

            Add to Reading List

            Source URL: www.ph-ludwigsburg.de

            - Date: 2014-01-31 13:55:58
              67

              The Canadian Mathematical Society recognizes two articles this year with the G. de. B. Robinson Award. Densities of Short Uniform Random Walks by Jonathan M. Borwein, Armin Straub, James Wan, and Wadim Zudilin (with an a

              Add to Reading List

              Source URL: cms.math.ca

              - Date: 2015-04-13 15:56:05
                68

                Jahresbericht des Hochschulnetzwerks „Bildung für nachhaltige Entwicklung“ Baden-Württemberg Projektlaufzeit – Netzwerksprecher Prof. Dr. Armin Lude, Pädagogische Hochschule Ludwigsburg

                Add to Reading List

                Source URL: www.ph-ludwigsburg.de

                - Date: 2015-07-09 15:51:55
                  69

                  Journal on Satisfiability, Boolean Modeling and Computation–76 DepQBF: A Dependency-Aware QBF Solver system description Florian Lonsing Armin Biere

                  Add to Reading List

                  Source URL: jsat.ewi.tudelft.nl

                  - Date: 2010-08-13 10:16:00
                    70

                    Curriculum Vitæ Dipl.-Math. Dr. rer. nat. Armin Rund Dipl.-Math. Dr. Armin Rund Institut f¨

                    Add to Reading List

                    Source URL: static.uni-graz.at

                    - Date: 2016-06-30 02:46:10
                      UPDATE