( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generating Hard Instances for MaxSAT.

, , , и . ISMVL, стр. 191-195. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alba Fishta

Alba Scotti

Alba Formicola

Alba Mesa

Alba Polo

 

Другие публикации лиц с тем же именем

The Interface between P and NP in Signed CNF Formulas., , , и . ISMVL, стр. 251-256. IEEE Computer Society, (2004)New Insights into Encodings from MaxCSP into Partial MaxSAT., , , и . ISMVL, стр. 46-52. IEEE Computer Society, (2010)Sequential Encodings from Max-CSP into Partial Max-SAT., , , и . SAT, том 5584 из Lecture Notes in Computer Science, стр. 161-166. Springer, (2009)Modelling Max-CSP as Partial Max-SAT., , , и . SAT, том 4996 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2008)Generating Hard Instances for MaxSAT., , , и . ISMVL, стр. 191-195. IEEE Computer Society, (2009)Capturing Structure with Satisfiability., , , , и . CP, том 2239 из Lecture Notes in Computer Science, стр. 137-152. Springer, (2001)Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT., , , и . J. Multiple Valued Log. Soft Comput., 19 (1-3): 3-23 (2012)Extending the Reach of SAT with Many-Valued Logics., , , , и . Electron. Notes Discret. Math., (2001)Minimal and Redundant SAT Encodings for the All-Interval-Series Problem., , , , и . CCIA, том 2504 из Lecture Notes in Computer Science, стр. 139-144. Springer, (2002)Encodings and Benchmarks for MaxSAT Solving.. University of Lleida, Spain, (2012)