PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kiesl, Benjamin"

Author of the publication

copydeleteadd this publication to your clipboard
Blocked Clauses in First-Order Logic.

, , , , and . CoRR, (2017)

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.

Benjamin Schoch University of Stuttgart

The EIVE CubeSat : Developing a Satellite Bus for a 71-76 GHz E-Band Transmitter Payload, , , , , , , and . 2021 - Mission operations & autonomy, Logan, Utah State University, (2021)
The EIVE CubeSat : Developing a Satellite Bus for a 71-76 GHz E-Band Transmitter Payload, , , , , , , and . 2021 - Mission operations & autonomy, Logan, Utah State University, (2021)Ultra-High Throughput E/W-Band Downlink CubeSat Mission, , , , , , , , , and 8 other author(s). IAF Space Communications and Navigation Symposium, Red Hook, Curran Associates, Inc., (2023)

Jun. -Prof. Dr. rer. nat. Benjamin Uekermann University of Stuttgart

preCICE Distribution Version v2404.0, , , , , , , , , and 14 other author(s). Software, (2024)

Dr. phil. Benjamin Holfelder University of Stuttgart

Benjamin Rothaupt

Benjamin Bursik University of Stuttgart

 

Other publications of authors with the same name

Local Redundancy in SAT: Generalizations of Blocked Clauses., , , and . CoRR, (2017)PRuning Through Satisfaction., , , and . Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 179-194. Springer, (2017)QRAT Polynomially Simulates ∀ -Exp+Res., and . SAT, volume 11628 of Lecture Notes in Computer Science, page 193-202. Springer, (2019)Blocked Clauses in First-Order Logic., , , , and . LPAR, volume 46 of EPiC Series in Computing, page 31-48. EasyChair, (2017)Encoding Redundancy for Satisfaction-Driven Clause Learning., , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 41-58. Springer, (2019)Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?, , , and . IJCAI, page 4884-4888. ijcai.org, (2017)On Structural Analysis of Non-Ground Answer-Set Programs., , and . ICLP (Technical Communications), volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Short Proofs Without New Variables., , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 130-147. Springer, (2017)A Unifying Principle for Clause Elimination in First-Order Logic., and . CADE, volume 10395 of Lecture Notes in Computer Science, page 274-290. Springer, (2017)Extended Resolution Simulates DRAT., , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 516-531. Springer, (2018)