References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Jakubův, Jan; Urban, Josef: ENIGMA: efficient learning-based inference guiding machine (2017)
  2. Jančar, Petr: Deciding structural liveness of Petri nets (2017)
  3. Sinn, Moritz; Zuleger, Florian; Veith, Helmut: Complexity and resource bound analysis of imperative programs using difference constraints (2017)
  4. Dräger, Klaus: The invariance problem for matrix semigroups (2016)
  5. Färber, Michael; Brown, Chad: Internal guidance for Satallax (2016)
  6. Itzhakov, Avraham; Codish, Michael: Breaking symmetries in graph search with canonizing sets (2016)
  7. Khasidashvili, Zurab; Korovin, Konstantin: Predicate elimination for preprocessing in first-order theorem proving (2016)
  8. Mestel, David; Roscoe, A.W.: Reducing complex CSP models to traces via priority (2016)
  9. Schulz, Stephan; Möhrmann, Martin: Performance of clause selection heuristics for saturation-based theorem proving (2016)
  10. Wijs, Anton; Katoen, Joost-Pieter; Bošnački, Dragan: Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (2016)
  11. Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd: Preprocessing for DQBF ralf (2015)
  12. Balodis, Kaspars: Counting with probabilistic and ultrametric finite automata (2014)
  13. Arapinis, Myrto; Bursuc, Sergiu; Ryan, Mark: Privacy supporting cloud computing: ConfiChair, a case study (2012) ioport
  14. Garg, Naveen; Kavitha, Telikepalli; Kumar, Amit; Mehlhorn, Kurt; Mestre, Julián: Assigning papers to referees (2010)