( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coloring Unit-Distance Strips using SAT.

, , и . LPAR, том 73 из EPiC Series in Computing, стр. 373-389. EasyChair, (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.

Marijn Huijbregts

Paul Heuler

Paul Heuler

Ludwig Heuler

Rolf Ludwig Heuler

 

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

Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 317-332. Springer, (2014)A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications., , и . ACM Commun. Comput. Algebra, 53 (3): 118-121 (2019)SAT Competition 2020., , , , и . Artif. Intell., (2021)Reusing the Assignment Trail in CDCL Solvers., , и . J. Satisf. Boolean Model. Comput., 7 (4): 133-138 (2011)Whose side are you on? Finding solutions in a biased search-tree., и . J. Satisf. Boolean Model. Comput., 4 (2-4): 117-148 (2008)An Impossible Asylum., , , , и . Am. Math. Mon., 130 (5): 446-453 (мая 2023)Coloring Unit-Distance Strips using SAT., , и . LPAR, том 73 из EPiC Series in Computing, стр. 373-389. EasyChair, (2020)The Resolution of Keller's Conjecture., , , и . J. Autom. Reason., 66 (3): 277-300 (2022)March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver., , , и . SAT (Selected Papers, том 3542 из Lecture Notes in Computer Science, стр. 345-359. Springer, (2004)Mariposa: Measuring SMT Instability in Automated Program Verification., , , , , и . FMCAD, стр. 178-188. IEEE, (2023)