Mostrar 1 - 10 resultats de 10 per cerca 'Petke, J', hora de la petició: 0.02sec Refinar resultats
  1. 1
    On the bridge between constraint satisfaction and Boolean satisfiability

    On the bridge between constraint satisfaction and Boolean satisfiability per Petke, J

    Publicat 2012
    Thesis
  2. 2
    Local consistency and SAT−solvers

    Local consistency and SAT−solvers per Jeavons, P, Petke, J

    Publicat 2010
    Conference item
  3. 3
    Local Consistency and SAT-Solvers

    Local Consistency and SAT-Solvers per Petke, J, Jeavons, P

    Publicat 2010
    Journal article
  4. 4
    Local Consistency and SAT−Solvers

    Local Consistency and SAT−Solvers per Jeavons, P, Petke, J

    Publicat 2012
    Journal article
  5. 5
    The order encoding: from tractable CSP to tractable SAT

    The order encoding: from tractable CSP to tractable SAT per Petke, J, Jeavons, P

    Publicat 2011
    Report
  6. 6
    The order encoding: From tractable CSP to tractable SAT

    The order encoding: From tractable CSP to tractable SAT per Petke, J, Jeavons, P

    Publicat 2011
    Journal article
  7. 7
    Tractable Benchmarks For Constraint Programming

    Tractable Benchmarks For Constraint Programming per Petke, J, Jeavons, P

    Publicat 2009
    Report
  8. 8
    The order encoding: from tractable CSP to tractable SAT (extended abstract)

    The order encoding: from tractable CSP to tractable SAT (extended abstract) per Petke, J, Jeavons, P

    Publicat 2011
    Conference item
  9. 9
    Local consistency and SAT−solvers

    Local consistency and SAT−solvers per Jeavons, P, Petke, J

    Publicat 2012
    Journal article
  10. 10
    Local Consistency and SAT-Solvers

    Local Consistency and SAT-Solvers per Jeavons, P, Petke, J

    Publicat 2012
    Journal article

Eines de cerca: