Search Results - Piette, Cedric

Refine Results
  1. 1
    XCSP3 and its ecosystem

    XCSP3 and its ecosystem by Audemard, Gilles, Boussemart, Frédéric, Lecoutre, Christophe, Piette, Cédric, Roussel, Olivier

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Using local search to find MSSes and MUSes

    Using local search to find MSSes and MUSes by Grégoire, Éric, Mazure, Bertrand, Piette, Cédric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Local-search Extraction of MUSes

    Local-search Extraction of MUSes by Grégoire, Éric, Mazure, Bertrand, Piette, Cédric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Deterministic Parallel DPLL: System description

    Deterministic Parallel DPLL: System description by Hamadi, Youssef, Jabbour, Said, Piette, Cedric, Sais, Lakhdar

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Using local search to find MSSes and MUSes : Cooperative combinatorial optimization

    Using local search to find MSSes and MUSes : Cooperative combinatorial optimization by GREGOIRE, Eric, MAZURE, Bertrand, PIETTE, Cédric

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Ludii and XCSP: Playing and Solving Logic Puzzles

    Ludii and XCSP: Playing and Solving Logic Puzzles by Piette, Cedric, Piette, Eric, Stephenson, Matthew, Soemers, Dennis J.N.J., Browne, Cameron

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Let the Solver Deal with Redundancy

    Let the Solver Deal with Redundancy by Piette, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    An Effective Distributed D&C Approach for the Satisfiability Problem

    An Effective Distributed D&C Approach for the Satisfiability Problem by Audemard, Gilles, Hoessen, Benoit, Jabbour, Said, Piette, Cedric

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Solving E-Squaro through SAT-Coding

    Solving E-Squaro through SAT-Coding by Gregoire, Eric, Hasni, Atef, Mazure, Bertrand, Piette, Cedric

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    On Approaches to Explaining Infeasibility of Sets of Boolean Clauses

    On Approaches to Explaining Infeasibility of Sets of Boolean Clauses by Gregoire, E., Mazure, B., Piette, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    MUS-based generation of arguments and counter-arguments

    MUS-based generation of arguments and counter-arguments by Besnard, Philippe, Grégoire, Éric, Piette, Cédric, Raddaoui, Badran

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Tracking MUSes and Strict Inconsistent Covers

    Tracking MUSes and Strict Inconsistent Covers by Gregoire, Eric, Mazure, Bertrand, Piette, Cedric

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Local-search extraction of MUSes: Special issue on local search techniques in constraint satisfaction

    Local-search extraction of MUSes: Special issue on local search techniques in constraint satisfaction by GREGOIRE, Eric, MAZURE, Bertrand, PIETTE, Cédric

    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Deterministic Parallel DPLL

    Deterministic Parallel DPLL by Hamadi, Youssef, Jabbour, Said, Piette, Cédric, Saïs, Lakhdar

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

    XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems by Boussemart, Frédéric, Lecoutre, Christophe, Audemard, Gilles, Piette, Cédric

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

    XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems by Boussemart, Frederic, Lecoutre, Christophe, Audemard, Gilles, Piette, Cédric

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs

    A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs by Gregoire, E., Mazure, B., Piette, C., Sais, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Ludii and XCSP: Playing and Solving Logic Puzzles

    Ludii and XCSP: Playing and Solving Logic Puzzles by Piette, Cédric, Piette, Éric, Stephenson, Matthew, Dennis J N J Soemers, Browne, Cameron

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Saturated fatty acids induce NLRP3 activation in human macrophages through K+ efflux resulting from phospholipid saturation and Na, K-ATPase disruption

    Saturated fatty acids induce NLRP3 activation in human macrophages through K+ efflux resulting from phospholipid saturation and Na, K-ATPase disruption by Gianfrancesco, Marco A., Dehairs, Jonas, L'homme, Laurent, Herinckx, Gaëtan, Esser, Nathalie, Jansen, Olivia, Habraken, Yvette, Lassence, Cédric, Swinnen, Johan V., Rider, Mark H., Piette, Jacques, Paquot, Nicolas, Legrand-Poels, Sylvie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    RIP3 antagonizes a TSC2-mediated pro-survival pathway in glioblastoma cell death

    RIP3 antagonizes a TSC2-mediated pro-survival pathway in glioblastoma cell death by Fettweis, Gregory, Di Valentin, Emmanuel, L'homme, Laurent, Lassence, Cédric, Dequiedt, Franck, Fillet, Marianne, Coupienne, Isabelle, Piette, Jacques

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: