„Boolean satisfiability“

Suchergebnisse

75 Treffer

• 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
• Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
  Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ; Oertel, Andy ; Paxian, Tobias ; Vandesande, Dieter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Symmetry Breaking Beyond Lex-Leader
  Anders, Markus ; Brenner, Sofia ; Rattan, Gaurav 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hierarchical Stochastic SAT and Quality Assessment of Logic Locking
  Scholl, Christoph ; Seufert, Tobias ; Siegwolf, Fabian 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Satsuma: Structure-Based Symmetry Breaking in SAT
  Anders, Markus ; Brenner, Sofia ; Rattan, Gaurav 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MaxSAT-Based Bi-Objective Boolean Optimization
  Jabs, Christoph ; Berg, Jeremias ; Niskanen, Andreas ; Järvisalo, Matti 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments
  Chimani, Markus ; Hedtke, Ivo ; Wiedera, Tilo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers
  Becker, Bernd ; Bertacco, Valeria ; Drechsler, Rolf ; Fujita, Masahiro
• SAT-based Automatic Test Pattern Generation
  Drechsler, Rolf ; Eggersglüß, Stephan ; Fey, Görschwin ; Tille, Daniel
• Algorithms Transcending the SAT-Symmetry Interface
  Anders, Markus ; Schweitzer, Pascal ; Soos, Mate 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Extension Theorem for Signotopes
  Bergold, Helena ; Felsner, Stefan ; Scheucher, Manfred 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
  Jaakkola, Reijo 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order Quantified Boolean Satisfiability
  Chistikov, Dmitry ; Haase, Christoph ; Hadizadeh, Zahra ; Mansutti, Alessio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantifier Elimination in Stochastic Boolean Satisfiability
  Wang, Hao-Ren ; Tu, Kuan-Hua ; Jiang, Jie-Hong Roland ; Scholl, Christoph 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SAT Preprocessors and Symmetry
  Anders, Markus 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Cliques to Colorings and Back Again
  Heule, Marijn J. H. ; Karahalios, Anthony ; Hoeve, Willem-Jan ˜vanœ 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
  Yamakami, Tomoyuki 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster
  Scheder, Dominik ; Steinberger, John P. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Gap Trichotomy for Boolean Constraint Problems: Extending Schaefer's Theorem
  Ham, Lucy 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Control Improvisation
  Fremont, Daniel J. ; Donzé, Alexandre ; Seshia, Sanjit A. ; Wessel, David 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik