• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2023
• 
  Gilles Dowek:
  Simple Type Theory as a Clausal Theory. CoRR abs/2304.13319 (2023)
• 2022
• 
  Andrea Biagioni, Paolo Cretaro, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Michele Martinelli, Pier Stanislao Paolucci, Elena Pastorelli, Francesco Simula, Matteo Turisini, Piero Vicini, Roberto Ammendola, Pascale Bernier-Bruna, Claire Chen, Said Derradji, Stéphane Guez, Pierre-Axel Lagadec, Gregoire Pichon, Etienne Walter, Gaetan De Gassowski, Matthieu Hautreaux, Stephane Mathieu, Gilles Moreau, Marc Pérache, Hugo Taboada, Torsten Hoefler, Timo Schneider, Matteo Barnaba, Giuseppe Piero Brandino, Francesco De Giorgi, Matteo Poggi, Iakovos Mavroidis, Yannis Papaefstathiou, Nikolaos Tampouratzis, Benjamin Kalisch, Ulrich Krackhardt, Mondrian Nuessle, Pantelis Xirouchakis, Vangelis Mageiropoulos, Michalis Gianioudis, Harisis Loukas, Aggelos Ioannou, Nikos Kallimanis, Nikos Chrysos, Manolis Katevenis, Wolfgang Frings, Dominik Gottwald, Felime Guimaraes, Max Holicki, Volker Marx, Yannik Müller, Carsten Clauss, Hugo Falter, Xu Huang, Jennifer Lopez Barillao, Thomas Moschny, Simon Pickartz, Francisco J. Alfaro, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles, José L. Sánchez, Adrián Castelló, Jose Duro, María Engracia Gómez, Enrique S. Quintana-Ortí, Julio Sahuquillo, Eugenio Stabile:
  RED-SEA: Network Solution for Exascale Architectures. DSD 2022: 712-719
• 2020
• 
  Lukas Bäni, Andreas Alexopoulos, Marina Artuso, Felix Bachmair, Marcin Bartosik, Helge Beck, Vincenzo Bellini, Vladimir Belyaev, Benjamin Bentele, Alexandre Bes, Jean-Marie Brom, Gabriele Chiodini, Dominik Chren, Vladimir Cindro, Gilles Claus, Johann Collot, John Cumalat, Sébastien Curtoni, Anne Dabrowski, Raffaello D'Alessandro, Denis Dauvergne, Wim de Boer, Christian Dorfer, Marc Dünser, Gerald Eigen, Vladimir Eremin, Jacopo Forneris, Laurent Gallin-Martel, Marie-Laure Gallin-Martel, Kock Gan, Martin Gastal, Abderrahman Ghimouz, Mathieu Goffe, Joel Goldstein, Alexander Golubev, Andrej Gorisek, Eugene Grigoriev, Jörn Grosse-Knetter, Aidan Grummer, Bojan Hiti, Dmitry Hits, Martin Hoeferkamp, Jérôme Hosselet, Fabian Hügging, Chris Hutson, Jens Janssen, Harris Kagan, Keida Kanxheri, Richard Kass, Mladen Kis, Gregor Kramberger, Sergey Kuleshov, Ana Lacoste, Stefano Lagomarsino, Alessandro Lo Giudice, Ivan López Paz, Eric Lukosi, Chaker Maazouzi, Igor Mandic, Sara Marcatili, Alysia Marino, Cédric Mathieu, Mauro Menichelli, Marko Mikuz, Arianna Morozzi, Francesco Moscatelli, Joshua Moss, Raymond Mountain, Alexander Oh, Paolo Olivero, Daniele Passeri, Heinz Pernegger, Roberto Perrino, Federico Picollo, Michal Pomorski, Renato Potenza, Arnulf Quadt, Fatah Rarbi, Alessandro Re, Michael Reichmann, Shaun Roe, Olivier Rossetto, Diego Sanz Becerra, Christian J. Schmidt, Stephen Schnetzer, Silvio Sciortino, Andrea Scorzoni, Sally Seidel, Leonello Servoli, Dale Smith, Bruno Sopko, Vit Sopko, Stefania Spagnolo, Stefan Spanier, Kevin Stenson, Robert Stone, Bjarne Stugu, Concetta Sutera, Michael Träger, William Trischuk, Marco Truccato, Cristina Tuvè, Jaap Velthuis, Stephen Wagner, Rainer Wallny, Jianchun Wang, Norbert Wermes, Jayashani Wickramasinghe, Mahfoud Yamouni, Justas Zalieckas, Marko Zavrtanik, Kazuhiko Hara, Yoichi Ikegami, Osamu Jinnouchi, Takashi Kohriki, Shingo Mitsui, Ryo Nagai, Susumu Terada, Yoshinobu Unno:
  A Study of the Radiation Tolerance of CVD Diamond to 70 MeV Protons, Fast Neutrons and 200 MeV Pions. Sensors 20(22): 6648 (2020)
• 
  Behrouz Babaki, Gilles Pesant:
  Parallel Planning using a Lazy Clause Generation Solver. ICTAI 2020: 272-276
• 2014
• 
  Gilles Audemard, Laurent Simon:
  Lazy Clause Exchange Policy for Parallel SAT Solvers. SAT 2014: 197-205
• 2012
• 
  Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette:
  Revisiting Clause Exchange in Parallel SAT Solving. SAT 2012: 200-213
• 2011
• 
  Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
  On Freezing and Reactivating Learnt Clauses. SAT 2011: 188-200
• 2010
• 
  Gilles Audemard, George Katsirelos, Laurent Simon:
  A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI 2010: 15-20
• 2009
• 
  Gilles Audemard, Laurent Simon:
  Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 2009: 399-404
• 
  Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
  Integrating Conflict Driven Clause Learning to Local Search. LSCS 2009: 55-68
• 2008
• 
  Gilles Audemard, Laurent Simon:
  Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634
• 2007
• 
  Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li:
  On Inconsistent Clause-Subsets for Max-SAT Solving. CP 2007: 225-240
• 2005
• 
  Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais:
  Using Boolean Constraint Propagation for Sub-clauses Deduction. CP 2005: 757-761
• 2000
• 
  Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller:
  Java bytecode compression for low-end embedded systems. ACM Trans. Program. Lang. Syst. 22(3): 471-489 (2000)
• 1990
• 
  Thierry Boy de la Tour, Gilles Chaminade:
  The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA 1990: 3-12
• 1988
• 
  Gilles Chaminade:
  Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. ECAI 1988: 625-630