From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.

T. Soh, M. Banbara, N. Tamura, и D. Berre. CP, том 10416 из Lecture Notes in Computer Science, стр. 596-614. Springer, (2017)

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.

Rainer Berrer

Frauke Rita Berres

Andrea Berres

Alexander Josef Berresheim

Eva Maria Sybille Berret

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

Weakening Conflicting Information for Iterated Revision and Knowledge Integration.S. Benferhat, S. Kaci, D. Berre, и M. Williams. IJCAI, стр. 109-118. Morgan Kaufmann, (2001)Some thoughts about benchmarks for NMR.D. Berre. CoRR, (2014)The SAT2002 competition.L. Simon, D. Berre, и E. Hirsch. Ann. Math. Artif. Intell., 43 (1): 307-342 (2005)Sat4j, un moteur libre de raisonnement en logique propositionnelle. (Sat4j, an open reasoning platform for propositional reasoning).D. Berre. (2010)Automated metamorphic testing of variability analysis tools.S. Segura, A. Durán, A. Sánchez, D. Berre, E. Lonca, и A. Cortés. Softw. Test. Verification Reliab., 25 (2): 138-163 (2015)A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.T. Caridroit, J. Lagniez, D. Berre, T. de Lima, и V. Montmirail. AAAI, стр. 3864-3870. AAAI Press, (2017)Handling Qualitative Preferences Using Normal Form Functions.S. Benferhat, D. Berre, и K. Sedki. FLAIRS, стр. 38-43. AAAI Press, (2007)Aggregating Interval Orders by Propositional Optimization.D. Berre, P. Marquis, и M. Öztürk. ADT, том 5783 из Lecture Notes in Computer Science, стр. 249-260. Springer, (2009)Compressing UNSAT Search Trees with Caching.A. Blomme, D. Berre, A. Parrain, и O. Roussel. ICAART (3), стр. 358-365. SCITEPRESS, (2023)On Weakening Strategies for PB Solvers.D. Berre, P. Marquis, и R. Wallon. SAT, том 12178 из Lecture Notes in Computer Science, стр. 322-331. Springer, (2020)

BibSonomy

Disambiguation