Boolean satisfiability

Listing items with Subject "Boolean satisfiability"

2 items found

Showing titles from 0 to 2:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 2015 December 10 Reformulation of constraint models into SMT Palahí i Sitges, Miquel
out url icon Recercat Reformulation of constraint models into SMT Palahí i Sitges, Miquel
  1   

Subjects

Authors