Cited in
(39)- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
- Implementation of a unimodularity test
- Algebraic and dynamical cancellations associated to spectral sequence
- Oriented hypergraphs: balanceability
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- A satisfiability procedure for quantified Boolean formulae
- scientific article; zbMATH DE number 5613969 (Why is no real title available?)
- Simple Pattern Minimality Problems: Integer Linear Programming Formulations and Covering-Based Heuristic Solving Approaches
- Approximating minimal unsatisfiable subformulae by means of adaptive core search
- scientific article; zbMATH DE number 5852793 (Why is no real title available?)
- Oriented hypergraphs: introduction and balance
- Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae
- Probability logic and optimization SAT: The PSAT and CPA models
- On functional dependencies in \(q\)-Horn theories
- A characterization of oriented hypergraphic balance via signed weak walks
- An algorithm for the class of pure implicational formulas
- scientific article; zbMATH DE number 1113994 (Why is no real title available?)
- Unimodularity
- HeerHugo
- MACEK
- Unimodularity Test
- Isolating a vertex via lattices: polytopes with totally unimodular faces
- A MINSAT approach for learning in logic domains
- A complete adaptive algorithm for propositional satisfiability
- A perspective on certain polynomial-time solvable classes of satisfiability
- Consistency of the static and dynamic components of object-oriented specifications
- Some interesting research directions in satisfiability
- Special issues on The satisfiability problem (pp. 1--244) including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29--May 3, 1996 and Boolean functions (pp. 245--479)
- Ideal clutters
- Isolating a vertex via lattices: polytopes with totally unimodular faces
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
- Solving peptide sequencing as satisfiability
- Theory and Applications of Satisfiability Testing
- Balanced matrices
- A logic-based approach to polymer sequence analysis
- On exact selection of minimally unsatisfiable subformulae
- Signed-graphic matroids with all-graphic cocircuits
- graphB
- On the number of circuits in regular matroids (with connections to lattices and codes)
This page was built for software: Leibniz
