„Satisfiability“

Suchergebnisse

596 Treffer

• Model Counting for CNF Formulas of Bounded Modular Treewidth
  Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidable classes of documents for XPath
  Bárány, Vince ; Bojanczyk, Mikolaj ; Figueira, Diego ; Parys, Pawel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
  Banbara, Mutsunori ; Tamura, Naoyuki ; Inoue, Katsumi 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded Satisfiability for PCTL
  Bertrand, Nathalie ; Fearnley, John ; Schewe, Sven 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Satisfiability: where Theory meets Practice (Invited Talk)
  Lynce, Inês 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Applications of Discrepancy Theory in Multiobjective Approximation
  Glaßer, Christian ; Reitwießner, Christian ; Witek, Maximilian 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving PPSZ for 3-SAT using Critical Variables
  Hertli, Timon ; Moser, Robin A. ; Scheder, Dominik 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
  Ganian, Robert ; Hlinený, Petr ; Obdrzálek, Jan 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Approximating Bounded-Degree Boolean #CSP
  Dyer, Martin ; Goldberg, Leslie Ann ; Jalsenius, Markus ; Richerby, David 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A new upper bound for 3-SAT
  Diaz, Josep ; Kirousis, Lefteris ; Mitsche, Dieter ; Perez-Gimenez, Xavier 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Revision of Logical Regulatory Networks Using Logic-Based Tools
  Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)
  Shen, Da ; Lierler, Yuliya 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
  Beyersdorff, Olaf ; Biere, Armin ; Ganesh, Vijay ; Nordström, Jakob ; Oertel, Andy
• Constraint CNF: SAT and CSP Language Under One Roof
  De Cat, Broes ; Lierler, Yuliya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SMT-Based Constraint Answer Set Solver EZSMT (System Description)
  Susman, Benjamin ; Lierler, Yuliya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameter Synthesis with IC3 (Informal Presentation)
  Cimatti, Alessandro ; Griggio, Alberto ; Mover, Sergio ; Tonetta, Stefano 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symbolic Execution as DPLL Modulo Theories
  Phan, Quoc-Sang 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Self-composition by Symbolic Execution
  Phan, Quoc-Sang 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)
  Marques-Silva, Joao ; Peñaloza, Rafael ; Sattler, Uli
• Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)
  Fuhs, Carsten ; Rümmer, Philipp ; Schmidt, Renate ; Tinelli, Cesare