„propositional satisfiability“

Suchergebnisse

36 Treffer

• Constraint CNF: SAT and CSP Language Under One Roof
  De Cat, Broes ; Lierler, Yuliya 2016 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
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
  Bhalla, Ateet ; Lynce, Inês ; Sousa, José T. de ; Marques-Silva, João
• Multi-threaded ASP solving with clasp
  Gebser, Martin ; Kaufmann, Benjamin ; Schaub, Torsten 2019 Universität Potsdam
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• Programming in propositional logic or reductions – back to the roots (satisfiability)
  Stamm-Wilbrandt, Hermann 1993 Sekretariat für Forschungsberichte, Inst. für Informatik III
• Running time experiments on some algorithms for solving propositional satisfiability problems
  Mayer, Joachim ; Mitterreiter, Ilse ; Josef Radermacher, Franz
• Satisfiability problems for propositional calculi
  Lewis, Harry R.
• Solving propositional satisfiability problems
  Jeroslow, Robert G. ; Wang, Jinchang
• Predicting Propositional Satisfiability Based on Graph Attention Networks
  Chang, Wenjing ; Zhang, Hengkai ; Luo, Junwei
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
  Mahmood, Yasir ; Meier, Arne 2021 Gottfried Wilhelm Leibniz Universität Hannover
• Space in Weak Propositional Proof Systems
  Bonacina, Ilario 2017 Springer International Publishing
• What we can learn from conflicts in propositional satisfiability
  Hamadi, Youssef ; Jabbour, Saïd ; Saïs, Lakhdar
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• What is answer set programming to propositional satisfiability
  Lierler, Yuliya