Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer von Heule, Marijn J. H., Kullmann, Oliver, Marek, Victor W.

Volltext

Strong Extension-Free Proof Systems von Heule, Marijn J. H., Kiesl, Benjamin, Biere, Armin

Volltext

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Volltext

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Volltext

Solution Validation and Extraction for QBF Preprocessing von Heule, Marijn J. H., Seidl, Martina, Biere, Armin

Volltext

An Automated Approach to the Collatz Conjecture von Yolcu, Emre, Aaronson, Scott, Heule, Marijn J. H.

Volltext

Genetics of sexual development: an evolutionary playground for fish von Heule, Corina, Salzburger, Walter, Böhne, Astrid

Volltext

Nursing care for patients with cirrhosis von Fabrellas, Núria, Künzler-Heule, Patrizia, Olofson, Amy, Jack, Kathryn, Carol, Marta

Volltext

A review of topical negative pressure therapy in wound healing: sufficient evidence? von Mouës, C.M., M.D, Heule, F., M.D., Ph.D, Hovius, S.E.R., M.D., Ph.D

Volltext

"Shaping the new freedom": A reflexive thematic analysis on patients' post cure needs after years of living with hepatitis C von Guggisberg, Helen, Nicca, Dunja, Kohler, Anton, Bruggmann, Philipp, Patrizia Künzler-Heule, Patrizia

Volltext

Chemsex drugs on the rise: a longitudinal analysis of the Swiss HIV Cohort Study from 2007 to 2017 von Hampel, B, Kusejko, K, Kouyos, RD, Böni, J, Flepp, M, Stöckle, M, Conen, A, Béguelin, C, Künzler‐Heule, P, Nicca, D, Schmidt, AJ, Nguyen, H, Delaloye, J, Rougemont, M, Bernasconi, E, Rauch, A, Günthard, HF, Braun, DL, Fehr, J, Anagnostopoulos, A., Battegay, M., Bucher, H. C., Calmy, A., Cavassini, M., Ciuffi, A., Dollenmaier, G., Egger, M., Elzi, L., Fellay, J., Furrer, H., Fux, C. A., Haerry, D., Hasse, B., Hirsch, H. H., Hoffmann, M., Hösli, I., Huber, M., Kahlert, C., Kaiser, L., Keiser, O., Klimkait, T., Kovari, H., Ledergerber, B., Martinetti, G., Martinez de Tejada, B., Marzolini, C., Metzner, K. J., Müller, N., Paioni, P., Pantaleo, G., Perreau, M., Rudin, C., Scherrer, A. U., Schmid, P., Speck, R., Tarr, P., Trkola, A., Vernazza, P., Wandeler, G., Weber, R., Yerly, S.

Volltext

Developing a rare disease chronic care model: Management of systemic sclerosis (MANOSS) study protocol von Kocher, Agnes, Simon, Michael, Dwyer, Andrew A., Villiger, Peter M., Künzler‐Heule, Patrizia, Geest, Sabina, Berben, Lut, Nicca, Dunja

Volltext

Software model synthesis using satisfiability solvers von Heule, Marijn J. H., Verwer, Sicco

Volltext

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML von Tan, Yong Kiam, Heule, Marijn J. H., Myreen, Magnus O.

Volltext

Tighter Bounds on Directed Ramsey Number R(7) von Neiman, David, Mackey, John, Heule, Marijn

Volltext

SAT-Inspired Eliminations for Superposition von Vukmirović, Petar, Blanchette, Jasmin, Heule, Marijn J. H.

Volltext

Generating Extended Resolution Proofs with a BDD-Based SAT Solver von Bryant, Randal E., Heule, Marijn J. H.

Volltext

Preprocessing of Propagation Redundant Clauses von Reeves, Joseph E., Heule, Marijn J. H., Bryant, Randal E.

Volltext

New ways to multiply 3 × 3-matrices von Heule, Marijn J.H., Kauers, Manuel, Seidl, Martina

Volltext

Simulating Circuit-Level Simplifications on CNF von Järvisalo, Matti, Biere, Armin, Heule, Marijn J. H.

Volltext