( en | de | ru )

 

Disambiguierung von "Berre, Daniel Le"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compressing UNSAT Search Trees with Caching.

, , , und . ICAART (3), Seite 358-365. SCITEPRESS, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rainer Berrer

Frauke Rita Berres

Andrea Berres

Alexander Josef Berresheim

Eva Maria Sybille Berret

 

Weitere Publikationen von Autoren mit dem selben Namen

Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applications. (Beyond SAT: P-restricted implicant, algorithms and applications).. Paul Sabatier University, Toulouse, France, (2000)Planning Personalised Museum Visits., , und . ICAPS, AAAI, (2013)Automatic repair of buggy if conditions and missing preconditions with SMT., , , und . CSTVA, Seite 30-39. ACM, (2014)Representing Policies for Quantified Boolean Formulae., , , , und . KR, Seite 286-297. AAAI Press, (2006)On Irrelevant Literals in Pseudo-Boolean Constraint Learning., , , und . IJCAI, Seite 1148-1154. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation., , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 596-614. Springer, (2017)Fifty-Five Solvers in Vancouver: The SAT 2004 Competition., und . SAT (Selected Papers, Volume 3542 von Lecture Notes in Computer Science, Seite 321-344. Springer, (2004)A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem., , , , und . AAAI, Seite 3864-3870. AAAI Press, (2017)Aggregating Interval Orders by Propositional Optimization., , und . ADT, Volume 5783 von Lecture Notes in Computer Science, Seite 249-260. Springer, (2009)Handling Qualitative Preferences Using Normal Form Functions., , und . FLAIRS, Seite 38-43. AAAI Press, (2007)