( en | de | ru )

 

Disambiguation of "Berre, Daniel Le"

Author of the publication

copydeleteadd this publication to your clipboard
On Weakening Strategies for PB Solvers.

, , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 322-331. Springer, (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

Frauke Rita Berres

Andrea Berres

Alexander Josef Berresheim

Eva Maria Sybille Berret

Rainer Berrer

 

Other publications of authors with the same name

Planning Personalised Museum Visits., , and . ICAPS, AAAI, (2013)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)Automatic repair of buggy if conditions and missing preconditions with SMT., , , and . CSTVA, page 30-39. ACM, (2014)Representing Policies for Quantified Boolean Formulae., , , , and . KR, page 286-297. AAAI Press, (2006)Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation., , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 596-614. Springer, (2017)Fifty-Five Solvers in Vancouver: The SAT 2004 Competition., and . SAT (Selected Papers, volume 3542 of Lecture Notes in Computer Science, page 321-344. Springer, (2004)On Irrelevant Literals in Pseudo-Boolean Constraint Learning., , , and . IJCAI, page 1148-1154. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Weakening Conflicting Information for Iterated Revision and Knowledge Integration., , , and . IJCAI, page 109-118. Morgan Kaufmann, (2001)On Weakening Strategies for PB Solvers., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 322-331. Springer, (2020)Computing prime implicants., , , and . FMCAD, page 46-52. IEEE, (2013)