CSP (Llenguatge de programaci贸)

Listing items with Subject "CSP (Llenguatge de programaci贸)"

4 items found

Showing titles from 0 to 4:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 2012 Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palah铆 i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausell茅, Mateu
out url icon Recercat Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palah铆 i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausell茅, Mateu
doc icon DUGiDocs 2013 January 1 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ans贸tegui, Carlos ; Bofill Arasa, Miquel ; Palah铆 i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausell茅, Mateu
out url icon Recercat Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ans贸tegui, Carlos ; Bofill Arasa, Miquel ; Palah铆 i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausell茅, Mateu
  1   

Subjects

Authors