Search Results - Lester, Martin Mariusz

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Pseudo-Boolean optimisation for RobinX sports timetabling

    Pseudo-Boolean optimisation for RobinX sports timetabling by Lester, Martin Mariusz

    Published in Journal of scheduling
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Analysis of MiniJava Programs via Translation to ML

    Analysis of MiniJava Programs via Translation to ML by Martin Mariusz Lester

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Which algorithm to select in sports timetabling?

    Which algorithm to select in sports timetabling? by David Van Bulck, Goossens, Dries, Jan-Patrick Clarner, Dimitsas, Angelos, Fonseca, George H G, Lamas-Fernandez, Carlos, Martin Mariusz Lester, Pedersen, Jaap, Phillips, Antony E, Rosati, Roberto Maria

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Which algorithm to select in sports timetabling?

    Which algorithm to select in sports timetabling? by Van Bulck, David, Goossens, Dries, Clarner, Jan-Patrick, Dimitsas, Angelos, Fonseca, George H.G., Lamas-Fernandez, Carlos, Lester, Martin Mariusz, Pedersen, Jaap, Phillips, Antony E., Rosati, Roberto Maria

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking

    Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking by Martin Mariusz Lester

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: