Q3384880 (Q3384880): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds
@@ Property / cites work: Lower Bounds / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Synthesis Methods for Safety Specs
@@ Property / cites work: SAT-Based Synthesis Methods for Safety Specs / rank @@
+Normal rank
@@ Property / cites work @@
+A solver for QBFs in negation normal form
@@ Property / cites work: A solver for QBFs in negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+Encodings of Bounded Synthesis
@@ Property / cites work: Encodings of Bounded Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis for Petri Games
@@ Property / cites work: Bounded Synthesis for Petri Games / rank @@
+Normal rank
@@ Property / cites work @@
+Petri games: synthesis of distributed systems with causal memory
+Normal rank
@@ Property / cites work @@
+Detecting Unrealizability of Distributed Fault-tolerant Systems
+Normal rank
@@ Property / cites work @@
+Exploiting Circuit Representations in QBF Solving
@@ Property / cites work: Exploiting Circuit Representations in QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond CNF: A Circuit-Based QBF Solver
@@ Property / cites work: Beyond CNF: A Circuit-Based QBF Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Circuit-based search space pruning in QBF
@@ Property / cites work: Circuit-based search space pruning in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Solving QBF with counterexample guided refinement
@@ Property / cites work: Solving QBF with counterexample guided refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Expansion-based QBF solving versus Q-resolution
@@ Property / cites work: Expansion-based QBF solving versus Q-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+A Non-prenex, Non-clausal QBF Solver with Game-State Learning
+Normal rank
@@ Property / cites work @@
+Nenofex: Expanding NNF for QBF Solving
@@ Property / cites work: Nenofex: Expanding NNF for QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Dependency learning for QBF
@@ Property / cites work: Dependency learning for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Non-prenex QBF Solving Using Abstraction
@@ Property / cites work: Non-prenex QBF Solving Using Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+On expansion and resolution in CEGAR based QBF solving
+Normal rank
@@ Property / cites work @@
+QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
+Normal rank