( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MiniMaxSat: A New Weighted Max-SAT Solver.

, , и . SAT, том 4501 из Lecture Notes in Computer Science, стр. 41-55. Springer, (2007)

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.

Albert Kellershohn

Albert Müller

Albert Stork

Albert Herlan

Albert Koep

 

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

Analyzing Multiple Conflicts in SAT: An Experimental Evaluation., , и . LPAR, том 94 из EPiC Series in Computing, стр. 306-316. EasyChair, (2023)A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints., , , и . CP, том 8124 из Lecture Notes in Computer Science, стр. 80-96. Springer, (2013)The Barcelogic SMT Solver., , , , и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 294-298. Springer, (2008)Two level continuous speech recognition using demisyllable-based HMM word spotting., , , и . EUROSPEECH, стр. 1199-1202. ISCA, (1991)Preface., и . SMT@CAV, том 198 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2007)DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic., и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 321-334. Springer, (2005)Abstract DPLL and Abstract DPLL Modulo Theories., , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 36-50. Springer, (2004)Proving Termination Through Conditional Termination., , , , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 99-117. (2017)Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools., и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 23-46. Springer, (2005)MiniMaxSat: A New Weighted Max-SAT Solver., , и . SAT, том 4501 из Lecture Notes in Computer Science, стр. 41-55. Springer, (2007)