Pages that link to "Item:Q2643301"
From MaRDI portal
The following pages link to BerkMin: A fast and robust SAT-solver (Q2643301):
Displaying 50 items.
- BerkMin (Q18983) (← links)
- Application of productions for automatic control of logical design of discrete devices (Q367970) (← links)
- Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions (Q384705) (← links)
- Decomposition representations of logical equations in problems of inversion of discrete functions (Q404200) (← links)
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework (Q438582) (← links)
- An overview of parallel SAT solving (Q487635) (← links)
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) (← links)
- On the power of clause-learning SAT solvers as resolution engines (Q543613) (← links)
- Producing and verifying extremely large propositional refutations (Q694550) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- The complexity of pure literal elimination (Q862401) (← links)
- Symbolic techniques in satisfiability solving (Q862403) (← links)
- Some computational aspects of DISTANCE SAT (Q877840) (← links)
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (Q937398) (← links)
- Dynamic symmetry-breaking for Boolean satisfiability (Q976993) (← links)
- A generative power-law search tree model (Q1010292) (← links)
- Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems (Q1037449) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints (Q1753130) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- A SAT approach to query optimization in mediator systems (Q1777403) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Deep cooperation of CDCL and local search for SAT (Q2118286) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (Q2385178) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Cutting plane versus compact formulations for uncertain (integer) linear programs (Q2392865) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- Search techniques for SAT-based Boolean optimization (Q2455454) (← links)
- Visualizing SAT instances and runs of the DPLL algorithm (Q2462641) (← links)
- Solving SAT problem by heuristic polarity decision-making algorithm (Q2465749) (← links)
- Conflict analysis in mixed integer programming (Q2471271) (← links)
- GridSAT: Design and implementation of a computational grid application (Q2505055) (← links)
- Verification of embedded systems based on interval analysis (Q2506266) (← links)
- The state of SAT (Q2643296) (← links)
- BerkMin: A fast and robust SAT-solver (Q2643301) (← links)
- Random backtracking in backtrack search algorithms for satisfiability (Q2643305) (← links)
- Learning Rate Based Branching Heuristic for SAT Solvers (Q2818006) (← links)
- Bounded Model Checking with Parametric Data Structures (Q2864380) (← links)
- Interpolant Learning and Reuse in SAT-Based Model Checking (Q2864382) (← links)
- Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (Q3007689) (← links)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (Q3012970) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- DPLL: The Core of Modern Satisfiability Solvers (Q3305326) (← links)
- Evaluating CDCL Variable Scoring Schemes (Q3453243) (← links)
- A Decision-Making Procedure for Resolution-Based SAT-Solvers (Q3502699) (← links)
