References in zbMATH (referenced in 45 articles )

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

1 2 3 next

  1. Bonacina, Maria Paola; Graham-Lengrand, Stéphane; Shankar, Natarajan: Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (2022)
  2. Afshari, Bahareh; Leigh, Graham E.; Menéndez Turata, Guillermo: Uniform interpolation from cyclic proofs: the case of modal mu-calculus (2021)
  3. Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena: Building strategies into QBF proofs (2021)
  4. Chvalovský, Karel; Jakubův, Jan; Olšák, Miroslav; Urban, Josef: Learning theorem proving components (2021)
  5. Francalanza, Adrian; Cini, Clare: Computer says no: verdict explainability for runtime monitors using a local proof system (2021)
  6. Goertzel, Zarathustra A.; Chvalovský, Karel; Jakubův, Jan; Olšák, Miroslav; Urban, Josef: Fast and slow enigmas and parental guidance (2021)
  7. Hajdu, Márton; Hozzová, Petra; Kovács, Laura; Schoisswohl, Johannes; Voronkov, Andrei: Inductive benchmarks for automated reasoning (2021)
  8. Holden, Edvard K.; Korovin, Konstantin: Heterogeneous heuristic optimisation and scheduling for first-order theorem proving (2021)
  9. Rawson, Michael; Reger, Giles: Eliminating models during model elimination (2021)
  10. Steen, Alexander; Benzmüller, Christoph: Extensional higher-order paramodulation in Leo-III (2021)
  11. Suda, Martin: Vampire with a brain is a good ITP hammer (2021)
  12. Sutcliffe, Geoff; Desharnais, Martin: The CADE-28 automated theorem proving system competition -- CASC-28 (2021)
  13. Wernhard, Christoph: Craig interpolation with clausal first-order tableaux (2021)
  14. Barbosa, Haniel; Blanchette, Jasmin Christian; Fleury, Mathias; Fontaine, Pascal: Scalable fine-grained proofs for formula processing (2020)
  15. Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson: NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems (2020) arXiv
  16. Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime: HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (2020)
  17. Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin: Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (2019)
  18. Jančar, Petr; Purser, David: Structural liveness of Petri nets is \textscExpSpace-hard and decidable (2019)
  19. Straßburger, Lutz: On the decision problem for MELL (2019)
  20. Běhounek, Libor; Majer, Ondrej: Fuzzy intensional semantics (2018)

1 2 3 next