„Satisfiability“

Suchergebnisse

596 Treffer

• Dual-normal logic programs – the forgotten class
  Fichte, Johannes Klaus ; Truszczynski, Miroslaw ; Woltran, Stefan 2019 Universität Potsdam
• SAT Interactions (Dagstuhl Seminar 12471)
  Creignou, Nadia ; Galesi, Nicola ; Kullmann, Oliver ; Vollmer, Heribert
• Solving quantified verification conditions using satisfiability modulo theories
  Ge, Yeting ; Barrett, Clark ; Tinelli, Cesare
• The Satisfiability Threshold For Random Linear Equations
  Ayre, Peter ; Coja-Oghlan, Amin ; Gao, Pu ; Müller, Noëla
• Finding Optimal Solutions With Neighborly Help
  Burjons, Elisabet ; Frei, Fabian ; Hemaspaandra, Edith ; Komm, Dennis ; Wehner, David 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Satisfiability for SCULPT-Schemas for CSV-Like Data
  Doleschal, Johannes ; Martens, Wim ; Neven, Frank ; Witkowski, Adam 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quine's Fluted Fragment is Non-Elementary
  Pratt, Ian ; Szwast, Wieslaw ; Tendera, Lidia 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Satisfiability for Fragments of CTL and CTL⋆
  Meier, Arne ; Mundhenk, Martin ; Thomas, Michael ; Vollmer, Heribert 2008 Gottfried Wilhelm Leibniz Universität Hannover
• Fast(er) Reasoning in Interval Temporal Logic
  Bresolin, Davide ; Muñoz-Velasco, Emilio ; Sciavicco, Guido 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deciding Hyperproperties
  Finkbeiner, Bernd ; Hahn, Christopher 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
  Böhler, Elmar ; Creignou, Nadia ; Galota, Matthias ; Reith, Steffen ; Schnoor, Henning ; Vollmer, Heribert 2016 Universität Würzburg
• Satisfiability modulo user propagators
  Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin 2025 Universität
• Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem
  Lipparini, Enrico ; Ratschan, Stefan
• Summary of "A Lazy Approach to Neural Numerical Planning with Control Parameters" (Extended Abstract)
  Heesch, René ; Cimatti, Alessandro ; Ehrhardt, Jonas ; Diedrich, Alexander ; Niggemann, Oliver 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory
  Diedrich, Alexander ; Heesch, René ; Bozzano, Marco ; Ludwig, Björn ; Cimatti, Alessandro ; Niggemann, Oliver 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Number of Random 2-SAT Solutions Is Asymptotically Log-Normal
  Chatterjee, Arnab ; Coja-Oghlan, Amin ; Müller, Noela ; Riddlesden, Connor ; Rolvien, Maurice ; Zakharov, Pavel ; Zhu, Haodong 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
  Stoltenow, Lara ; König, Barbara ; Schneider, Sven ; Corradini, Andrea ; Lambers, Leen ; Orejas, Fernando 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper)
  Cherif, Sami ; Sattoutah, Heythem ; Li, Chu-Min ; Lucet, Corinne ; Brisoux-Devendeville, Laure 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structure-Guided Local Improvement for Maximum Satisfiability
  Schidler, André ; Szeider, Stefan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization
  Cortes, João ; Lynce, Inês ; Manquinho, Vasco 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik