Algorithms for maximum satisfiability using unsatisfiable cores

  1. Marques-Silva, Joao
  2. Planes, Jordi
Colección de libros:
2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3

ISSN: 1530-1591

ISBN: 978-3-9810801-3-1

Año de publicación: 2008

Páginas: 365-370

Congreso: Design, Automation and Test in Europe Conference and Exhibition (DATE 08)

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS