Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
- A More Efficient Parallel Unit Propagation +
- An A-Maze-ing SAT Solving Visualization +
- Automated Reencoding of Boolean Formulas +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- Coprocessor - a Standalone SAT Preprocessor +
- Coprocessor 2.0 - A flexible CNF Simplifier +
- Efficient Axiom Pinpointing in EL using SAT Technology +
- Exploiting SAT Technology for Axiom Pinpointing +
- Extended Resolution in Modern SAT Solving +
- Extended Resolution in Modern SAT Solving +
- Formula Simplifications as DRAT Derivations +
- Formula Simplifications as DRAT Derivations +
- Generating Clique Coloring Problem Formulas +
- Hidden Units, Equivalences and Implications (Poster Presentation) +
- MinitSAT +
- Parallel SAT Solving - Using More Cores +
- Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding +
- Refining Unsatisfiable Cores in Incremental SAT Solving +
- Riss 4.27 +
- SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT +
- Solver Description of RISS 2.0 and PRISS 2.0 +
- Solver submission of riss 1.0 to the SAT Competition 2011 +
- Soundness of Inprocessing in Clause Sharing SAT Solvers +
- The SAT Solver Framework priss +
- The SAT Solver Framework priss (System Description) +
- Too Many Rooks +
- Towards Improving the Resource Usage of SAT-solvers +
- Towards Next Generation Sequential and Parallel SAT Solvers +
- Towards next generation sequential and parallel SAT solvers +
- npSolver - a SAT based Solver for Optimization Problems +
- npSolver - a SAT based Solver for Optimization Problems (System Description) +
