Leibniz

The Leibniz System is a software package for the development and implementation of logic-based intelligent systems. The package covers various aspect of the construction of such systems with modules for: - logic computation - learning logic formulas from data - discretization of data - subgroup discovery from data - data estimation by a lazy learner - dimension reduction of models - decomposition of graphs and matrices - solution of constrained optimization problems involving single or multiple objective functions. All programs are written in C using the ANSI standard. Installation is intended under Linux/Unix. Installation using other operating systems should not be difficult but is not covered in the manual.


References in zbMATH (referenced in 35 articles , 2 standard articles )

Showing results 1 to 20 of 35.
Sorted by year (citations)

1 2 next

  1. Gurjar, Rohit; Thierauf, Thomas; Vishnoi, Nisheeth K.: Isolating a vertex via lattices: polytopes with totally unimodular faces (2021)
  2. Gurjar, Rohit; Vishnoi, Nisheeth K.: On the number of circuits in regular matroids (with connections to lattices and codes) (2021)
  3. Boccia, Maurizio; Sforza, Antonio; Sterle, Claudio: Simple pattern minimality problems: integer linear programming formulations and covering-based heuristic solving approaches (2020)
  4. Gurjar, Rohit; Thierauf, Thomas; Vishnoi, Nisheeth K.: Isolating a vertex via lattices: polytopes with totally unimodular faces (2018)
  5. Bertolim, Maria A.; Lima, Dahisy V. S.; Mello, Margarida P.; de Rezende, Ketty A.; da Silveira, Mariana R.: Algebraic and dynamical cancellations associated to spectral sequence (2017)
  6. Papalamprou, Konstantinos; Pitsoulis, Leonidas S.: Signed-graphic matroids with all-graphic cocircuits (2017)
  7. Chen, Vinciane; Rao, Angeline; Rusnak, Lucas J.; Yang, Alex: A characterization of oriented hypergraphic balance via signed weak walks (2015)
  8. Rusnak, Lucas J.: Oriented hypergraphs: introduction and balance (2013)
  9. Walter, Matthias; Truemper, Klaus: Implementation of a unimodularity test (2013)
  10. Crama, Yves (ed.); Hammer, Peter L. (ed.): Boolean functions. Theory, algorithms, and applications (2011)
  11. Bruni, Renato: A logic-based approach to polymer sequence analysis (2010)
  12. Haus, Utz-Uwe; Truemper, Klaus; Weismantel, Robert: Linear satisfiability algorithm for 3CNF formulas of certain signaling networks (2009)
  13. Bruni, Renato: Solving peptide sequencing as satisfiability (2008)
  14. Bruni, Renato; Santori, Andrea: New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (2008)
  15. Conforti, Michele; Cornuéjols, Gérard; Vušković, Kristina: Balanced matrices (2006)
  16. Bruni, Renato: On exact selection of minimally unsatisfiable subformulae (2005)
  17. Pretolani, Daniele: Probability logic and optimization SAT: The PSAT and CPA models (2005)
  18. Bruni, Renato: Solving error correction for large data sets by means of a SAT solver (2004)
  19. Dasgupta, Sudeshna; Chandru, Vijay: Minimal unsatisfiable sets: Classification and bounds (2004)
  20. Truemper, Klaus: Design of logic-based intelligent systems. (2004)

1 2 next