( en | de | ru )

 

Disambiguierung von "Oliveras, Albert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MiniMaxSat: A New Weighted Max-SAT Solver.

, , und . SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 41-55. Springer, (2007)

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.

Ekkehard Albert

Albert Morlock

Albert Jülich

Albert Groß

Albert Hüchtker

 

Weitere Publikationen von Autoren mit dem selben Namen

Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving., , , und . IEEE Access, (2021)6 Years of SMT-COMP., , , , und . J. Autom. Reason., 50 (3): 243-277 (2013)Cardinality Networks: a theoretical and empirical study., , , und . Constraints An Int. J., 16 (2): 195-221 (2011)Analyzing Multiple Conflicts in SAT: An Experimental Evaluation., , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 306-316. EasyChair, (2023)A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints., , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2013)Splitting on Demand in SAT Modulo Theories., , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 512-526. Springer, (2006)Proof-Producing Congruence Closure., und . RTA, Volume 3467 von Lecture Notes in Computer Science, Seite 453-468. Springer, (2005)Congruence Closure with Integer Offsets., und . LPAR, Volume 2850 von Lecture Notes in Computer Science, Seite 78-90. Springer, (2003)Practical algorithms for unsatisfiability proof and core generation in SAT solvers., , , und . AI Commun., 23 (2-3): 145-157 (2010)Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers., , , , und . ACM Trans. Comput. Log., 20 (4): 25:1-25:36 (2019)