Repositories list

• BilAI-Summer-School-2025-Project

  Public
  This repository collects information about the group project on logic puzzles at the BilAI Summer School 2025

  Answer Set Programming

  •

  Creative Commons Zero v1.0 Universal

  •1•1•0•0•Updated Jul 6, 2025Jul 6, 2025

• JSSEnv

  Public

  prosysscience/JSSEnv’s past year of commit activity
  An OpenAi Gym environment for the Job Shop Scheduling problem.

  reinforcement-learningdeep-reinforcement-learningopenai-gym+ 5combinatorial-optimizationjob-shop-schedullingopenai-gym-environmentjob-shop-scheduling-problemreinforcement-learning-environments

  Python

  •

  MIT License

  •62•234•11•1•Updated May 20, 2025May 20, 2025

• bibliography

  Public
  📚 BibTeX bibliography files of all papers referenced by the group

  TeX

  •7•0•0•0•Updated Feb 9, 2025Feb 9, 2025

• llncs

  Public
  LLNCS style files for LaTeX

  TeX

  •0•2•0•0•Updated Aug 16, 2024Aug 16, 2024

• Job-Shop-Scheduling

  Public
  TeX

  •3•17•0•0•Updated Jun 7, 2024Jun 7, 2024

• GSACO

  Public
  Python

  •0•1•0•0•Updated May 21, 2024May 21, 2024

• PySCFabSim-release

  Public
  Python

  •9•21•2•0•Updated Mar 13, 2024Mar 13, 2024

• JSP-instances-industrial-size

  Public
  Python

  •0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

• RL-Job-Shop-Scheduling

  Public
  Reinforcement learning approach for job shop scheduling

  reinforcement-learningdeep-learningdeep-reinforcement-learning+ 3jssjob-shop-scheduling-problemjssp

  Python

  •84•295•11•0•Updated Jan 4, 2024Jan 4, 2024

• FJSP-SMT2020

  Public
  Python

  •2•8•0•0•Updated Jul 25, 2023Jul 25, 2023

• prosysscience.github.io

  Public
  HTML

  •0•0•0•0•Updated Apr 6, 2023Apr 6, 2023

• Symmetry_Breaking_with_ILP

  Public
  Exploit ILP to learn symmetry breaking constraints of ASP programs.

  answer-set-programminginductive-logic-programmingsymmetry-breaking+ 1ilasp

  Python

  •1•2•0•0•Updated Mar 2, 2023Mar 2, 2023

• Scheduling-Algorithms-and-Applications-results

  Public
  0•1•0•0•Updated Oct 31, 2022Oct 31, 2022

• Semiconductor_scheduling_multi-shot

  Public
  Python

  •0•1•0•0•Updated Oct 31, 2022Oct 31, 2022

• ICLP-IJCAI-Presentations-

  Public
  This repo includes the Presentations of the ICLP & IJCAI conferences

  0•0•0•0•Updated Aug 3, 2022Aug 3, 2022

• Latex-slide-template

  Public
  Template in Latex for presentation

  TeX

  •0•0•0•0•Updated Sep 6, 2021Sep 6, 2021

• CPWorkloadBalancing

  Public
  Python

  •1•1•0•0•Updated Sep 6, 2021Sep 6, 2021

• Aircraft_Scheduling

  Public archive
  PoC aircraft scheduling in ASP

  Python

  •

  MIT License

  •3•4•0•0•Updated Apr 21, 2021Apr 21, 2021

• lipics

  Public
  LIPIcs LaTeX template by Dagstuhl Publishing

  TeX

  •

  LaTeX Project Public License v1.3c

  •3•1•0•0•Updated Mar 17, 2021Mar 17, 2021

• latex-paper-template

  Public template
  TeX

  •3•0•0•0•Updated Sep 30, 2020Sep 30, 2020