Propositional Satisfiability and Constraint Programming
- Authors
- Adjiman P.
- Bacchus F.
- Bacchus F.
- Barrett C.
- Bayardo R. J.
- Beldiceanu N.
- Beldiceanu N.
- Bessière C.
- Bessière C.
- Bessière C.
- Biere A.
- Blochinger W.
- Bryant R. E.
- Burch J. R.
- Buro M.
- Cleary J. G.
- Colmerauer A.
- Dantsin E.
- Davenport A. J.
- Delzanno G.
- Fang H.
- Flanagan C.
- Fourer R.
- Frisch A. M.
- Ganai M. K.
- Gent I. P.
- Ginsberg M. L.
- Giunchiglia E.
- Gomes C. P.
- Graf T.
- Hamadi Y.
- Hamadi Y.
- Hebrard E.
- Henz M.
- Hirsch E. A.
- Hoos H.
- Hutter F.
- Hyvönen E.
- Katsirelos G.
- Kautz H.
- Kautz H. A.
- Leyton-Brown K.
- Lhomme O.
- Li C.-M.
- Lintao Zhang
- Lucas Bordeaux
- Lynce I.
- Lynce I.
- López-Ortiz A.
- Mac Allester D. A.
- Manquinho V. M.
- Marques-Silva J. P.
- McMillan K. L.
- Meseguer P.
- Meseguer P.
- Michalewicz Z.
- Mitchell D. G.
- Mitchell D. G.
- Puget J. F.
- Ranise S.
- Ringwelski G.
- Régin J.-C.
- Régin J.-C.
- Sabharwal A.
- Sabin D.
- Selman B.
- Selman B.
- Seshia S. A.
- Shlyakhter I.
- Simonis H.
- Smith B.
- Strichman O.
- Strichman O.
- Subbarayan S.
- Swain M. J.
- Thiffault C.
- Van Hentenryck P.
- Verfaillie G.
- Walsh T.
- Yokoo M.
- Yokoo M.
- Youssef Hamadi
- Zhang L.
- Zhang L.
- Zhong P.
- Publication date
- Publisher
- 'Association for Computing Machinery (ACM)'
- Doi
Abstract
Abstract is not available.Similar works
Available Versions
Last time updated on 17/09/2020